Theorem LinearMap.det_toContinuousLinearMap

Modification history