Zulip Chat Archive
Stream: mathlib4
Topic: mathlib4#1777
Xavier Roblot (Jan 25 2023 at 07:58):
GroupTheory.MonoidLocalization is almost ready. There is just one issue with an unfold that does not work and I do not know how to fix that
Last updated: Dec 20 2023 at 11:08 UTC