Theorem SetTheory.PGame.right_distrib_equiv

Modification history