Theorem ContinuousAffineMap.ext_iff

Modification history

2024-08-05 08:52

Mathlib/Topology/Algebra/ContinuousAffineMap.lean

chore: move toolchain to v4.11.0-rc1 (#15513)

Deleted ContinuousAffineMap.ext_iff View on Github →

2024-05-16 21:59

Mathlib/Topology/Algebra/ContinuousAffineMap.lean

chore(Topology/Algebra/ContinuousAffineMap): change notation (#12864) …

Modified ContinuousAffineMap.ext_iff View on Github →

2023-06-08 07:20

Mathlib/Topology/Algebra/ContinuousAffineMap.lean

feat: port Topology.Algebra.ContinuousAffineMap (#3277)

Added ContinuousAffineMap.ext_iff View on Github →