TotalDerivativeEquivalence

📁 Source: PhysLean/ClassicalMechanics/Lagrangian/TotalDerivativeEquivalence.lean

Statistics

Metric	Count
Definitions IsTotalTimeDerivative	1
Theorems isTotalTimeDerivativeVelocity	1
Total	2

ClassicalMechanics.Lagrangian

Definitions

Name	Category	Theorems
IsTotalTimeDerivative 📖	MathDef	—

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
isTotalTimeDerivativeVelocity 📖	mathematical	IsTotalTimeDerivative	instInnerOfInnerProductSpace' instInnerProductSpace'	—	—

---

← Back to Index