Theorem range_deriv_subset_closure_span_image

Modification history