Theorem Multiset.addHom_ext

Modification history