Theorem PGame.quot_right_distrib_sub

Modification history