Theorem SetTheory.PGame.Subsequent.mk_left

Modification history