Theorem CStarMatrix.normedSpaceCore:

Modification history