fix(algebra/module): remove instance endomorphism_ring, it breaks real.lean
fix(algebra/module): remove instance endomorphism_ring, it breaks real.lean

leanprover-community/mathlib,leanprover-community/mathlib