Theorem Real.goldenRatio_irrational

Modification history