mathlib
fefc4e05 - refactor(algebra/ring/basic): postpone an import (#17531)

Commit
3 years ago
refactor(algebra/ring/basic): postpone an import (#17531) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>
Author
Parents
Loading