Theorem Real.one_sub_goldenRatio

Modification history