Theorem Finset.card_add_card_compl

Modification history

2023-11-07 20:49
Mathlib/Data/Fintype/Card.lean
fix: fixes of 3 PRs (#8248) …
Added Finset.card_add_card_complView on Github →