Theorem Real.goldenConj_sq

Modification history