Every large sum-free subset of a cyclic two-group has a critical middle-interval quotient container

Initializing...

Every large sum-free subset of a cyclic two-group has a critical middle-interval quotient container · Prove2Me