Theorem QuotientGroup.mk_div

Modification history