Theorem LinearMap.det_eq_one_of_subsingleton

Modification history