Theorem Real.isConjugateExponent_inv

Modification history