mathlib
2227ccc5 - use `₀` to avoid conflicts and replace lemmas in `algebra.order.ring`
Commit
3 years ago
Author
Parents