Theorem SetTheory.PGame.zero_lt_neg_iff

Modification history