Theorem MulChar.toUnitHom_eq

Modification history