Theorem sigma_mk_preimage_image'

Modification history