Theorem PGame.neg_ofLists

Modification history