Zulip Chat Archive

Stream: mathlib4

Topic: Coend calculus in Lean

Notification Bot (Oct 01 2021 at 22:06):

This topic was moved by Scott Morrison to #new members > Coend calculus in Lean

Last updated: Dec 20 2025 at 21:32 UTC