Theorem LinearMap.toMatrix₂'_apply

Modification history