Theorem CategoryTheory.Limits.bicone_ι_π_ne

Modification history