lemma stating that a module homomorphism between two simple modules over the same ring is either an isomorphism or identically zero
Nothing in the MetaHistoryBook collection references this item yet.