Theorem Real.goldenRatio_pow_sub_goldenRatio_pow

Modification history