Theorem PGame.Relabelling.mk_leftMovesEquiv

Modification history