Theorem Real.IsConjugateExponent.conjugate_eq

Modification history