Theorem Basis.toLin_toMatrix

Modification history