Commit 2025-10-09 10:11 4d783e93
View on Github →feat(Combinatorics/Additive/VerySmallDoubling): weak non-commutative Kneser's theorem (#26660) add theorem about the structure of a doubling smaller than the golden ratio
feat(Combinatorics/Additive/VerySmallDoubling): weak non-commutative Kneser's theorem (#26660) add theorem about the structure of a doubling smaller than the golden ratio