Theorem SetTheory.PGame.neg_insertRight_neg

Modification history