Theorem LinearMap.ker_coprod_of_disjoint_range

Modification history