Theorem SetTheory.PGame.quot_mul_neg

Modification history