Theorem LinearMap.det_eq_one_of_finrank_eq_zero

Modification history