Theorem SetTheory.PGame.neg_lt_iff

Modification history