Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-01-30 14:50 d6fe605f

View on Github →

chore(*): split some long lines (#5959)

Estimated changes

modified theorem multiset.bind_congr
modified theorem multiset.card_product
modified theorem multiset.count_erase_of_ne
modified theorem multiset.count_erase_self
modified theorem multiset.count_inter
modified theorem multiset.count_union
modified theorem multiset.erase_cons_tail
modified theorem multiset.foldl_add
modified theorem multiset.foldl_cons
modified theorem multiset.foldr_add
modified theorem multiset.foldr_cons
modified theorem multiset.map_congr
modified theorem multiset.map_map
modified theorem multiset.map_union
modified theorem free_abelian_group.add_bind
modified theorem free_abelian_group.add_seq
modified theorem free_abelian_group.map_add
modified theorem free_abelian_group.map_sub
modified theorem free_abelian_group.neg_bind
modified theorem free_abelian_group.neg_seq
modified theorem free_abelian_group.seq_add
modified theorem free_abelian_group.seq_neg
modified theorem free_abelian_group.seq_sub
modified theorem free_abelian_group.sub_bind
modified theorem free_abelian_group.sub_seq
modified theorem emetric.diam_union