Theorem MulChar.IsQuadratic.eq_of_eq_coe

Modification history