Theorem neg_one_lt_goldConj

Modification history