mathlib3
feat(order_dual): instances for order_dual and shortening proofs
#746

Merged

feat(order_dual): instances for order_dual and shortening proofs #746

ChrisHughes24 merged 2 commits into master from orderable_topology

feat(order_bot): instances for order_bot and shortening proofs

a914e4c4

fix(topological_structure); remove unused import

be9042ec

cipher1024 assigned

robertylewis 6 years ago

ChrisHughes24 merged e739cf50 into master 6 years ago

ChrisHughes24 deleted the orderable_topology branch 6 years ago

Reviewers

No reviews

Assignees

robertylewis

Labels

None yet

Milestone

No milestone