Theorem Real.inv_goldenRatio

Modification history