Theorem Real.IsConjugateExponent.one_lt_nnreal

Modification history