Theorem Function.range_eq_image_or_of_mulSupport_subset

Modification history