Mathlib Changelog
v4
Changelog
About
Github
Theorem
card_add_card_compl
Modification history
2023-11-07 20:49
Mathlib/Data/Fintype/Card.lean
fix: fixes of 3 PRs (#8248) …
Deleted
card_add_card_compl
View on Github →
2023-09-26 11:46
Mathlib/Data/Fintype/Card.lean
feat: lemmas about finset (#7337) …
Added
card_add_card_compl
View on Github →