Zulip Chat Archive

Stream: toric

Topic: Upstreaming

Yaël Dillies (Apr 08 2025 at 17:38):

@Moisés Herradón Cueto, according to the upstreaming dashboard, your file Toric.Mathlib.CategoryTheory.WithTerminal is ready to be upstreamed to mathlib. Will you do it or should I?

Moisés Herradón Cueto (Apr 09 2025 at 17:18):

Sure, I'll do it!

Yaël Dillies (Apr 10 2025 at 08:13):

@Moisés Herradón Cueto, actually your other file Toric.Mathlib.CategoryTheory.WithTerminal.Cones is ready too

Last updated: May 02 2025 at 03:31 UTC