Database
BASIC LINEAR ALGEBRA
Polynomial matrices
Basic properties
Next ⟩
pmatring
Metamath Proof Explorer
Ascii
Structured
Table of Contents - 11.6.1. Basic properties
pmatring
pmatlmod
pmatassa
pmat0op
pmat1op
pmat1ovd
pmat0opsc
pmat1opsc
pmat1ovscd
pmatcoe1fsupp
1pmatscmul