Mathlib Changelog
v4
Changelog
About
Github
Def
Fin.consEquivL
Modification history
2025-01-29 23:20
Mathlib/Topology/Algebra/Module/Equiv.lean
feat: `HasFDerivAt` for `Fin.cons` (#20407) …
Added
Fin.consEquivL
View on Github →