mathlib3
feat(algebra/order_functions): max_lt_max and min_lt_min
#692
Merged
Overview
Commits
1
Changes
View On GitHub

feat(algebra/order_functions): max_lt_max and min_lt_min #692

ChrisHughes24 merged 1 commit into leanprover-community:master from minchaowu:master
minchaowu
minchaowu feat(algebra/order_functions): max_lt_max and min_lt_min
baac47a0
minchaowu
cipher1024 cipher1024 assigned ChrisHughes24 ChrisHughes24 7 years ago
ChrisHughes24 ChrisHughes24 merged 8911b8cd into master 7 years ago

Login to write a write a comment.

Login via GitHub

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