Theorem Multiset.recOn_cons

Modification history