Theorem QuotientGroup.ker_map

Modification history