Theorem MonoidHom.mrange_id

Modification history