Theorem image_specComap_zeroLocus_eq_zeroLocus_comap

Modification history