Theorem PGame.quot_left_distrib_sub

Modification history