Theorem Real.inv_goldenConj

Modification history