Theorem MulChar.IsQuadratic.pow_odd

Modification history