mathlib3
refactor(*): use decidable_linear_order.lift
#645
Merged
Overview
Commits
2
Changes
View On GitHub

refactor(*): use decidable_linear_order.lift #645

johoelzl merged 2 commits into leanprover-community:master from rwbarton:dlo
rwbarton
rwbarton refactor(*): use decidable_linear_order.lift
04c034b3
rwbarton
rwbarton fix build
f31a8c05
johoelzl johoelzl merged 0924ac0e into master 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum