Commit 2025-10-25 23:37 f4dee013
View on Github →feat(Combinatorics/Additive/VerySmallDoubling): Hamidoune's Freiman-Kneser theorem for nonabelian groups (#28296) Prove the noncommutative Freiman-Kneser theorem for doubling less than 2 - ε
feat(Combinatorics/Additive/VerySmallDoubling): Hamidoune's Freiman-Kneser theorem for nonabelian groups (#28296) Prove the noncommutative Freiman-Kneser theorem for doubling less than 2 - ε