Theorem Real.goldenRatio_lt_two

Modification history