mathlib3
feat(order_dual): instances for order_dual and shortening proofs
#746
Merged
Overview
Commits
2
Changes
View On GitHub
Commits
  • feat(order_bot): instances for order_bot and shortening proofs
    ChrisHughes24 committed 6 years ago
  • fix(topological_structure); remove unused import
    ChrisHughes24 committed 6 years ago
FAQ Terms Privacy Refunds Impressum
Loading