Mathlib Changelog
v4
Changelog
About
Github
Theorem
Set.BijOn.finsetCard_eq
Modification history
2025-07-04 14:26
Mathlib/Data/Finset/Card.lean
chore(Finset/Card): cleanup section and improve documentation (#26373) …
Added
Set.BijOn.finsetCard_eq
View on Github →