Theorem QuotientGroup.card_preimage_mk

Modification history