Theorem LinearMap.toMatrix₂'_compl₂

Modification history