Mathlib Changelog
v4
Changelog
About
Github
Theorem
AffineIsometryEquiv.symm_bijective
Modification history
2025-02-10 05:14
Mathlib/Analysis/Normed/Affine/Isometry.lean
feat: more `symm_bijective`s (#21435) …
Added
AffineIsometryEquiv.symm_bijective
View on Github →