Theorem Matrix.frobeniusIsBoundedSMul

Modification history