Theorem MulChar.IsQuadratic.pow_even

Modification history