AffineMap

📁 Source: Mathlib/Analysis/Calculus/AddTorsor/AffineMap.lean

Statistics

Metric	Count
Definitions	0
Theorems contDiff	1
Total	1

ContinuousAffineMap

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
contDiff 📖	mathematical	—	ContDiff DFunLike.coe ContinuousAffineMap NormedRing.toRing NormedCommRing.toNormedRing NormedField.toNormedCommRing NontriviallyNormedField.toNormedField NormedAddCommGroup.toAddCommGroup NormedSpace.toModule NormedAddCommGroup.toSeminormedAddCommGroup UniformSpace.toTopologicalSpace PseudoMetricSpace.toUniformSpace SeminormedAddCommGroup.toPseudoMetricSpace NormedAddTorsor.toAddTorsor SeminormedAddCommGroup.toNormedAddTorsor instFunLike	—	instIsTopologicalAddTorsor SeminormedAddCommGroup.toIsTopologicalAddGroup decomp ContDiff.add instIsTopologicalAddTorsor_1 ContinuousLinearMap.contDiff contDiff_const

---

← Back to Index