Theorem LinearMap.det_eq_one_of_not_module_finite

Modification history