Theorem ContinuousLinearMap.continuous_det

Modification history