Theorem finset.exists_equiv_extend_of_card_eq
Modification history
2023-01-24 23:10
src/data/fintype/sum.lean
fix(*): add missing `classical` tactics and `decidable` arguments (#18277) …
Modified finset.exists_equiv_extend_of_card_eqView on Github →