Commit 2023-01-14 05:54 f7d4c2c5

View on Github →

feat: port Data.Multiset.Sections (#1554)

Estimated changes

added theorem Multiset.card_sections
added theorem Multiset.coe_sections
added theorem Multiset.mem_sections
added theorem Multiset.prod_map_sum
added theorem Multiset.sections_add
added theorem Multiset.sections_cons
added theorem Multiset.sections_zero