Theorem LinearMap.ker_id_sub_eq_of_proj

Modification history