Theorem PGame.quot_add

Modification history