Theorem CategoryTheory.Limits.bicone_ι_π_self

Modification history