Minimum modulus for the unique multiset-sum problem

Source: arxiv:2607.08366 Authors: José A. R. Fonollosa Status: verified Main declarations: MinModulus.nmin_eq, MinModulus.elementaryAbelianTwoGroups_optimal Tags: additive-combinatorics, multiset-sums, finite-groups, permanent MSC: 11B75, 05D99