Theorem SetTheory.PGame.neg_insertLeft_neg

Modification history