matrices over a polynomial ring
matrices over a polynomial ring

Main Part:
* expired obsolete ~ csbopabgOLD , ~ csbcnvgOLD removed
* ~ csbmpt12 , ~ csbmpt2 added
* ~ ply1coe revised (previous version as ply1coeOLD still available)

AV's Mathbox:
* theorems for matrices in general
* theorems for matrices over a polynomial ring

metamath/set.mm,metamath/set.mm,metamath/set.mm