Theorem PGame.Domineering.moveLeft_card

Modification history