Theorem fintype.card_pi
Modification history
2022-11-18 03:59
src/data/fintype/big_operators.lean
refactor(data/fintype/basic): split file (#17578)
Modified fintype.card_piView on Github →2020-08-06 03:47
src/data/fintype/card.lean
chore(*): swap order of [fintype A] [decidable_eq A] (#3705) …
Modified fintype.card_piView on Github →