Theorem AddSubgroup.toZModSubmodule_symm

Modification history