Theorem SetTheory.PGame.Impartial.not_equiv_zero_iff

Modification history