Theorem AddChar.toMonoidHomEquiv_zero

Modification history