Theorem CategoryTheory.Limits.Bicone.π_of_isColimit

Modification history