Theorem Matrix.toLinearMap₂'_apply'

Modification history