Basic

Statistics

Metric	Count
Definitions	0
Theorems `fundamental_theorem_of_variational_calculus`, `fundamental_theorem_of_variational_calculus'`	2
Total	2

Name	Kind	Assumes	Proves	Validates	Depends On
`fundamental_theorem_of_variational_calculus` 📖	—	`IsTestFunction` `instInnerOfInnerProductSpace'`	—	—	`IsTestFunction.smooth` `Continuous.inner'` `real_inner_self_nonneg'` `IsTestFunction.integrable` `IsTestFunction.inner`
`fundamental_theorem_of_variational_calculus'` 📖	—	`instInnerOfInnerProductSpace'`	—	—	`IsTestFunction.smul_right` `inner_smul_right'` `Continuous.inner'` `IsTestFunction.smooth` `IsTestFunction.supp`

---