Skip to content

feat(SolidSphere): prove solidSphere_inertiaTensor#962

Open
pitmonticone wants to merge 3 commits into
masterfrom
aristotle/solidsphere
Open

feat(SolidSphere): prove solidSphere_inertiaTensor#962
pitmonticone wants to merge 3 commits into
masterfrom
aristotle/solidsphere

Update Symmetries.lean

4115232
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.