Theorem SetTheory.PGame.Domineering.moveRight_card

Modification history