Theorem Real.goldenConj_neg

Modification history