Structure CategoryTheory.Limits.Bicone.IsBilimit

Modification history