Theorem Real.isConjExponent_iff_eq_conjExponent

Modification history