Theorem SetTheory.PGame.nim_equiv_iff_eq

Modification history