SolidSphere

📁 Source: PhysLean/ClassicalMechanics/RigidBody/SolidSphere.lean

Statistics

Metric	Count
Definitions solidSphere	1
Theorems solidSphere_centerOfMass, solidSphere_inertiaTensor, solidSphere_mass	3
Total	4
⚠️ With sorry solidSphere_inertiaTensor	1

RigidBody

Definitions

Name	Category	Theorems
solidSphere 📖	CompOp	3 math math: solidSphere_centerOfMass, solidSphere_mass, solidSphere_inertiaTensor

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
solidSphere_centerOfMass 📖	mathematical	—	centerOfMass solidSphere Space Space.instZero	—	Space.eq_of_apply Space.instFiniteDimensionalReal Space.instBorelSpace Space.zero_apply Space.neg_apply
solidSphere_inertiaTensor 📖 ⚠️	mathematical	—	inertiaTensor solidSphere	—	—
solidSphere_mass 📖	mathematical	—	mass solidSphere	—	Space.instFiniteDimensionalReal Space.instBorelSpace Space.volume_closedBall_neq_top Space.volume_closedBall_neq_zero

---

← Back to Index