Mathlib v3 is deprecated. Go to Mathlib v4

Theorem card_subtype_mono

Modification history

2022-07-08 14:49
src/data/fintype/basic.lean
fix(data/fintype/basic): move card_subtype_mono into the fintype namespace (#15185)
Deleted card_subtype_monoView on Github →
2022-06-10 07:36
src/data/fintype/basic.lean
feat(data/fintype/basic): add `card_subtype_mono` (#14645) …
Added card_subtype_monoView on Github →