Theorem Multiset.case_strongInductionOn

Modification history