Theorem Real.isConjugateExponent_conjugateExponent

Modification history