Inductive CategoryTheory.MorphismProperty.colimitsOfShape

Modification history