Theorem ClassGroup.mk_mk0

Modification history