Theorem CharacterModule.dual_surjective_iff_injective

Modification history