Theorem Real.goldenConj_mul_goldenRatio

Modification history