Theorem Matrix.toLin_finTwoProd_toContinuousLinearMap

Modification history