Theorem SetTheory.PGame.quot_neg

Modification history