Theorem sigma_mk_preimage_image_eq_self

Modification history