Theorem MonoidWithZeroHom.ext_int

Modification history