Theorem MonoidHom.ext_int

Modification history