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 2023 at 11:08 UTC