Theorem Real.goldenRatio_ne_zero

Modification history