Theorem HahnModule.support_smul_subset_vadd_support

Modification history