Zulip Chat Archive
Stream: general
Topic: bazout lemma
Adrian Chu (Jun 19 2019 at 13:06):
Hi, do we have Bazout lemma in mathlib?
Floris van Doorn (Jun 19 2019 at 13:24):
Last updated: May 02 2025 at 03:31 UTC
Hi, do we have Bazout lemma in mathlib?
Last updated: May 02 2025 at 03:31 UTC