Affine

📁 Source: Mathlib/Topology/Homotopy/Affine.lean

Statistics

Metric	Count
Definitions affine, Affine	2
Theorems affine_apply, evalAt_affine	2
Total	4

ContinuousMap.Homotopy

Definitions

Name	Category	Theorems
affine 📖	CompOp	2 math math: affine_apply, evalAt_affine

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
affine_apply 📖	mathematical	—	DFunLike.coe ContinuousMap.Homotopy Set.Elem Real unitInterval instFunLike affine AffineMap Real.instRing Ring.toAddCommGroup Semiring.toModule Ring.toSemiring addGroupIsAddTorsor AddGroupWithOne.toAddGroup Ring.toAddGroupWithOne AddCommGroup.toAddGroup AffineMap.instFunLike AffineMap.lineMap ContinuousMap ContinuousMap.instFunLike Set Set.instMembership	—	—
evalAt_affine 📖	mathematical	—	evalAt affine Path.segment IsTopologicalAddGroup.toContinuousAdd AddCommGroup.toAddGroup DFunLike.coe ContinuousMap ContinuousMap.instFunLike	—	—

WeierstrassCurve

Definitions

Name	Category	Theorems
Affine 📖	CompOp	2 math math: Affine.nonsingular_iff_variableChange, Affine.equation_iff_variableChange

---

← Back to Index