Theorem Real.IsConjugateExponent.conj_eq

Modification history