Revision of sections "Polynomial matrices - Basic properties" and "Constant polynomial matrix"
Revision of sections "Polynomial matrices - Basic properties" and "Constant polynomial matrix"

* new theorems in main part: ~ ralimdvva , ~ rspcedvd  , ~ ply1sclcl  ,~ matvscl
* Revision of section "Polynomial matrices - Basic properties"
* Revision of section "Constant polynomial matrix"

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