Theorem SetTheory.PGame.lt_neg_iff

Modification history