Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-08-06 05:08 8d13bb9d

View on Github →

feat(list/basic,multiset): list.revzip, multiset.diagonal

Estimated changes

Modified data/list/basic.lean

added theorem list.forall₂.imp

added theorem list.length_revzip

added theorem list.length_zip

added theorem list.mem_zip

added theorem list.reverse_revzip

added def list.revzip

added theorem list.revzip_map_fst

added theorem list.revzip_map_snd

added theorem list.revzip_swap

added theorem list.unzip_eq_map

added theorem list.unzip_left

added theorem list.unzip_revzip

added theorem list.unzip_right

added theorem list.unzip_swap

added theorem list.unzip_zip

added theorem list.unzip_zip_left

added theorem list.unzip_zip_right

added theorem list.zip_append

added theorem list.zip_map'

added theorem list.zip_map

added theorem list.zip_map_left

added theorem list.zip_map_right

added theorem list.zip_swap

Modified data/list/perm.lean

added theorem list.revzip_sublists'

added theorem list.revzip_sublists

Modified data/multiset.lean

added theorem multiset.card_diagonal

modified theorem multiset.coe_eq_coe

added def multiset.diagonal

added theorem multiset.diagonal_coe

added theorem multiset.diagonal_map_fst

added theorem multiset.diagonal_map_snd

added theorem multiset.mem_diagonal

added theorem multiset.mem_powerset_aux

added theorem multiset.revzip_powerset_aux

added theorem multiset.revzip_powerset_aux_eq_map

added theorem multiset.revzip_powerset_aux_perm

Modified data/prod.lean