Theorem SetTheory.PGame.neg_lf_neg_iff

Modification history