Theorem LinearMap.toMatrix₂_compl₁₂

Modification history