Theorem Real.goldenRatio_add_goldenConj

Modification history