Theorem PGame.quot_neg_mul

Modification history