Theorem Real.goldenRatio_mul_goldenConj

Modification history