Theorem LinearMap.toMatrix₂_compl₂

Modification history