Theorem Real.goldenRatio_pos

Modification history