Theorem SetTheory.PGame.down_neg

Modification history