Theorem LinearMap.toMatrix₂'_compl₁₂

Modification history