Theorem Real.goldenRatio_sq

Modification history