Theorem SetTheory.PGame.Relabelling.mk_leftMovesEquiv

Modification history