Theorem Real.goldenConj_irrational

Modification history