Theorem Real.IsConjExponent.inv_sub_one

Modification history