Mathlib Changelog
v4
Changelog
About
Github
Theorem
Fin.card_filter_univ_succ
Modification history
2023-01-26 13:08
Mathlib/Data/Fintype/Fin.lean
feat: port Data.Fintype.Fin (#1847)
Added
Fin.card_filter_univ_succ
View on Github →