Zulip Chat Archive
Stream: new members
Topic: Boyang Hu
Boyang Hu (Jan 25 2026 at 03:57):
Hi everyone! I'm Boyang Hu from China. I'm a student interested in algebra and number theory. I've just submitted my first PR to mathlib about the Focal Subgroup Theorem (#34380), and I'm excited to contribute!
Kevin Buzzard (Jan 25 2026 at 09:17):
You should link to the PR number like this #12345
Last updated: Feb 28 2026 at 14:05 UTC