Theorem LinearMap.toMatrix₂_apply

Modification history