Theorem Matrix.permanent_updateCol_smul

Modification history