Zulip Chat Archive
Stream: maths
Topic: A couple of easy PRs
Matias Heikkilä (Sep 09 2022 at 09:59):
Hey Mathlib people! I recently decided to try my hand at a couple of tiny PRs, looking forward to your feedback :) See e.g. https://github.com/leanprover-community/mathlib/pull/16388
Last updated: May 02 2025 at 03:31 UTC