Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2017-09-03 23:13 086ac36f

View on Github →

feat(tactic/interactive): simpf tactic, more logic refactor

Estimated changes

Modified logic/basic.lean

deleted theorem imp_of_not_or

added theorem not_and'

added theorem not_and

deleted theorem not_and_iff_imp'

deleted theorem not_and_iff_imp

added theorem not_and_not_right

Modified order/zorn.lean

Modified tactic/interactive.lean

Modified topology/ennreal.lean

Modified topology/topological_space.lean

Modified topology/uniform_space.lean