Theorem ContinuousLinearMap.det_one_smulRight

Modification history