Coord

Statistics

Metric	Count
Definitions	0
Theorems `smooth_barycentric_coord`	1
Total	1

Name	Kind	Assumes	Proves	Validates	Depends On
`smooth_barycentric_coord` 📖	mathematical	—	`ContDiff` `NonUnitalNormedRing.toNormedAddCommGroup` `NonUnitalNormedCommRing.toNonUnitalNormedRing` `NormedCommRing.toNonUnitalNormedCommRing` `NormedField.toNormedCommRing` `NontriviallyNormedField.toNormedField` `NormedField.toNormedSpace` `Top.top` `WithTop` `ENat` `WithTop.top` `DFunLike.coe` `AffineMap` `NormedRing.toRing` `NormedCommRing.toNormedRing` `NormedAddCommGroup.toAddCommGroup` `NormedSpace.toModule` `NormedAddCommGroup.toSeminormedAddCommGroup` `NormedAddTorsor.toAddTorsor` `SeminormedAddCommGroup.toPseudoMetricSpace` `SeminormedAddCommGroup.toNormedAddTorsor` `Ring.toAddCommGroup` `Semiring.toModule` `Ring.toSemiring` `addGroupIsAddTorsor` `AddGroupWithOne.toAddGroup` `Ring.toAddGroupWithOne` `AffineMap.instFunLike` `AffineBasis.coord`	—	`ContinuousAffineMap.contDiff` `continuous_barycentric_coord`

---