Theorem Set.compl_range_subset_kernImage

Modification history