Mathlib v3 is deprecated. Go to Mathlib v4

Theorem fintype.card_subtype_mono

Modification history

2022-11-18 03:59
src/data/fintype/basic.lean
refactor(data/fintype/basic): split file (#17578)
Modified fintype.card_subtype_monoView on Github →
2022-07-08 14:49
src/data/fintype/basic.lean
fix(data/fintype/basic): move card_subtype_mono into the fintype namespace (#15185)
Added fintype.card_subtype_monoView on Github →