Documentation Verification Report

DistConst

📁 Source: PhysLean/SpaceAndTime/Space/DistConst.lean

Statistics

MetricCount
DefinitionsdistConst
1
TheoremsdistCurl_distConst, distDeriv_distConst, distDiv_distConst, distGrad_distConst
4
Total5

Space

Definitions

NameCategoryTheorems
distConst 📖CompOp
4 mathmath: distCurl_distConst, distDeriv_distConst, distGrad_distConst, distDiv_distConst

Theorems

NameKindAssumesProvesValidatesDepends On
distCurl_distConst 📖mathematicalDistribution
Space
instNormedAddCommGroup
instInnerProductSpaceReal
distCurl
distConst
instFiniteDimensionalReal
instBorelSpace
Distribution.fderivD_const
distDeriv_distConst 📖mathematicalDistribution
Space
instNormedAddCommGroup
instInnerProductSpaceReal
distDeriv
distConst
instFiniteDimensionalReal
instBorelSpace
Distribution.fderivD_const
distDiv_distConst 📖mathematicalDistribution
Space
instNormedAddCommGroup
instInnerProductSpaceReal
distDiv
distConst
instFiniteDimensionalReal
instBorelSpace
Distribution.fderivD_const
distGrad_distConst 📖mathematicalDistribution
Space
instNormedAddCommGroup
instInnerProductSpaceReal
distGrad
distConst
instFiniteDimensionalReal
instBorelSpace
Distribution.fderivD_const

---

← Back to Index