Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Def
affine_equiv.simps.apply
Modification history
2021-12-18 18:09
src/linear_algebra/affine_space/affine_equiv.lean
feat(linear_algebra/affine_space/affine_equiv): isomorphism with the units (#10798) …
Added
affine_equiv.simps.apply
View on Github →