Theorem MonoidWithZeroHom.ext_nat

Modification history