Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-03-05 09:21 332121d4

View on Github →

feat(data/fintype): card_univ and card_univ_diff

Estimated changes

Modified src/data/fintype.lean

added theorem finset.card_univ

added theorem finset.card_univ_diff