Theorem PGame.Impartial.equiv_or_fuzzy_zero

Modification history