mathlib

aadfde68 - feat(data/fintype): fintype.card_subtype_lt (#1635)

feat(data/fintype): fintype.card_subtype_lt (#1635) * feat(data/fintype): fintype.card_subtype_lt * Update src/data/fintype.lean Co-Authored-By: Rob Lewis <Rob.y.lewis@gmail.com>