Theorem AddChar.toMonoidHomEquiv_symm_mul

Modification history