Theorem Real.isConjugateExponent_iff

Modification history