Theorem PGame.nim_equiv_iff_eq

Modification history