Commit 2023-03-13 17:08 36766e1e

View on Github →

fix: Tactic/HigherOrder should not import Mathport/Syntax (#2837)

Estimated changes

Modified Mathlib/Control/Bifunctor.lean

Modified Mathlib/Mathport/Syntax.lean

Modified Mathlib/Tactic/HigherOrder.lean

Modified test/HigherOrder.lean

modified theorem HigherOrderTest.map_pure'