Quiver subrepresentation

A quiver representation is called a subrepresentation of iff for all , is a -vector subspace and restricts to . #m/def/quiv Thus as corresponds to a -submodule.

#state/tidy | #lang/en | #SemBr