Theorem PGame.quot_sub

Modification history