Theorem Real.one_lt_goldenRatio

Modification history