Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-07-16 05:22 728eefec

View on Github →

docs(data/fintype/basic): add module docstring (#8081)

Estimated changes

modified theorem finset.piecewise_univ
modified theorem fintype.card_of_subtype
modified theorem fintype.exists_max
modified theorem fintype.mem_pi_finset
modified def fintype.of_list
modified def fintype.of_multiset
modified def fintype.pi_finset
modified theorem fintype.pi_finset_subset
modified theorem fintype.subtype_card
modified theorem mem_perms_of_list_of_mem