Theorem range_specComap_of_surjective

Modification history