installed \/ for a finite field element and an external ring
installed \in for [ IsRingElement, IsHomalgExternalRingRep ]