Theorem SetTheory.PGame.Relabelling.mk'_rightMovesEquiv

Modification history