While (once again) perusing T.Y. Lam's excellent GTM 189 "Lectures on Modules and Rings" I compared the various conditions given that typically imply IBN, e.g. the (left) strong rank condition, stably finite etc. One condition on a ring $R$, even stronger than both of the aforesaid, would be that all the (left) finitely generated free modules over $R$ are cohopfian. For instance, this is clearly the case, and in a strong form, when $R$ is (left) artinian (and hence is not completely without interest; free modules over such rings satisfy just about all the important fundamental properties of vector spaces over skew fields). My question: have such rings been graced with a name, and is the notion left/right independent or not ? (The term "strongly finite" or such like, I believe, is used by functional analysts in a different sense.) Thanks in advance for any tips ! Kind regards, Stephan.