mathlib3
e6a0a266 - chore(algebra/order/*): generalisation linter (#13098)

Commit
3 years ago
chore(algebra/order/*): generalisation linter (#13098) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>
Author
Parents
Loading