Theorem LinearIsometry.id_toContinuousLinearMap

Modification history