Theorem QuotientGroup.forall_mk

Modification history