Theorem PGame.Impartial.forall_rightMoves_fuzzy_iff_equiv_zero

Modification history