Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-08-14 01:42 9699f8dc

View on Github →

feat(data/multiset): some more theorems about diagonal

Estimated changes

Modified data/multiset.lean

added theorem multiset.diagonal_coe'

modified theorem multiset.diagonal_coe

added theorem multiset.diagonal_cons

added theorem multiset.diagonal_zero

added theorem multiset.revzip_powerset_aux'

modified theorem multiset.revzip_powerset_aux

deleted theorem multiset.revzip_powerset_aux_eq_map

added theorem multiset.revzip_powerset_aux_lemma

added theorem multiset.revzip_powerset_aux_perm_aux'

Modified data/pfun.lean