Theorem PGame.Domineering.moveRight_card

Modification history