Commit 2019-07-03 23:52 ae9615c8
View on Github →feat(order/pilex): lexicographic ordering on pi types (#1157)
- feat(order/pilex): lexicographic ordering on pi types
- fix instance name
- fix instance name properly
- Update basic.lean
- remove unnecessary import