mathlib
79ffb556 - chore(algebra/category/CommRing=>Ring): rename (#14022)

Commit
3 years ago
chore(algebra/category/CommRing=>Ring): rename (#14022) This folder was originally named `algebra/category/CommRing/` because it only handled the commutative case. That's largely no longer the case, so we should rename the folder. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>
Author
Parents
Loading