Theorem Multiset.mem_sections

Modification history