mathlib
db7a53af - refactor(ring_theory/ideals): make local_ring a prop class (#3171)

Commit

5 years ago

refactor(ring_theory/ideals): make local_ring a prop class (#3171) Co-authored-by: Chris Hughes <33847686+ChrisHughes24@users.noreply.github.com>

Author

kbuzzard

Parents