Theorem SetTheory.PGame.Domineering.moveLeft_smaller

Modification history