Theorem SetTheory.PGame.neg_le_neg_iff

Modification history