Theorem Matrix.toLinearMapₛₗ₂'_aux_eq

Modification history