Commit 2019-10-30 17:35 aadfde68
View on Github →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
feat(data/fintype): fintype.card_subtype_lt (#1635)