Theorem Real.one_sub_goldenConj

Modification history