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: May 02 2025 at 03:31 UTC