Structure CategoryTheory.Limits.IsLimit

Modification history