Mathlib Changelog
v4
Changelog
About
Github
Theorem
Finset.cast_card_erase_of_mem
Modification history
2023-09-26 11:46
Mathlib/Data/Finset/Card.lean
feat: lemmas about finset (#7337) …
Added
Finset.cast_card_erase_of_mem
View on Github →