Theorem PGame.Domineering.card_of_mem_right

Modification history