Theorem SetTheory.PGame.quot_sub

Modification history