Theorem IsMonoidHom.id

Modification history