Theorem PGame.nim_zero_equiv

Modification history