Theorem SetTheory.PGame.lf_neg_iff

Modification history