mathlib3

f8bf0016 - fix(ring_theory/localization): remove coe_submodule instance (#3832)

fix(ring_theory/localization): remove coe_submodule instance (#3832) This coe can loop. See zulip discussion at https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/Unknown.20error.20while.20type-checking.20with.20.60use.60/near/207089095