Theorem PGame.quot_mul_one

Modification history