Theorem MulChar.IsQuadratic.pow_char

Modification history