Theorem Real.goldenRatio_sub_goldenConj

Modification history