Theorem PGame.quot_mul_neg

Modification history