Theorem SetTheory.PGame.Domineering.card_of_mem_left

Modification history