Def ContinuousAffineEquiv.Simps.coe

Modification history

2024-07-11 10:12

Mathlib/LinearAlgebra/AffineSpace/ContinuousAffineEquiv.lean

chore: add missing spaces around : (#13658) …

Modified ContinuousAffineEquiv.Simps.coe View on Github →

2024-04-05 21:50

Mathlib/LinearAlgebra/AffineSpace/ContinuousAffineEquiv.lean

feat: continuous affine equivalences (#11341)

Added ContinuousAffineEquiv.Simps.coe View on Github →