Theorem SetTheory.PGame.nim_zero_equiv

Modification history