Zulip Chat Archive
Stream: new members
Topic: Is the Poincaré–Birkhoff–Witt theorem in Mathlib?
Coleton Kotch (Jun 28 2024 at 04:55):
Do we have some version of the PBW Theorem (also see here) in Mathlib?
Johan Commelin (Jun 28 2024 at 06:37):
Nope, we don't have it. But I guess we have most of the ingredients needed to work on it.
Sébastien Gouëzel (Jun 28 2024 at 07:03):
I think @Frédéric Marbach was planning at some point to work on it.
Last updated: May 02 2025 at 03:31 UTC