Theorem SetTheory.PGame.Impartial.not_fuzzy_zero_iff

Modification history