Zulip Chat Archive
Stream: mathlib4
Topic: CategoryTheory.Monad.Monadicity #5088
Notification Bot (Jul 07 2023 at 04:32):
This topic was moved to #mathlib4 > !4#5088 CategoryTheory.Monad.Monadicity by Scott Morrison.
Last updated: May 02 2025 at 03:31 UTC