Theorem AddChar.toAddMonoidHomEquiv_zero

Modification history