Theorem SetTheory.PGame.left_distrib_equiv

Modification history