Theorem SetTheory.PGame.neg_ofLists

Modification history