Theorem QuotientGroup.preimage_image_mk

Modification history