Theorem ClassGroup.induction

Modification history