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: Dec 20 2025 at 21:32 UTC