mathlib3
fix(order.basic|ring_theory.algebra): lower instance priority
#1729
Merged
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Overview
Commits
10
Changes
View On
GitHub
Loading