Theorem SetTheory.PGame.neg_lt_neg_iff

Modification history