Zulip Chat Archive

Stream: new members

Topic: Strahinja Gvozdić

Strahinja Gvozdić (Jul 02 2025 at 20:25):

Hello! My name is Strahinja Gvozdić, I am a Master student at ETH Zurich and I'd like to contribute to the mathlib project. For the moment, I'd like to contribute with a proof of the Weak non-commutative Kneser's theorem listed in TODO of VerySmallDoubling (https://terrytao.wordpress.com/2009/11/10/an-elementary-non-commutative-freiman-theorem/).

Yaël Dillies (Jul 02 2025 at 20:26):

Hey, :wave: very nice! Please ping me when you open the PR :slight_smile:

Last updated: Dec 20 2025 at 21:32 UTC