Theorem LinearMap.toMatrix₂Aux_apply

Modification history