installed \in for [ IsRingElement, IsHomalgExternalRingRep ]