Theorem Real.goldenConj_ne_zero

Modification history