Theorem SetTheory.PGame.Impartial.equiv_or_fuzzy_zero

Modification history