Theorem mem_ideal_span_range_iff_exists_fun

Modification history