Theorem HigherOrderTest.map_pure'

Modification history

2023-03-13 17:08
test/HigherOrder.lean
fix: Tactic/HigherOrder should not import Mathport/Syntax (#2837)
Modified HigherOrderTest.map_pure'View on Github →
2023-03-08 10:44
test/HigherOrder.lean
feat: port higher_order attribute (#2438)
Added HigherOrderTest.map_pure'View on Github →