Theorem PGame.Impartial.exists_left_move_equiv_iff_fuzzy_zero

Modification history