Theorem LinearMap.ker_sup_ker_le_ker_comp_of_commute

Modification history