Inductive CategoryTheory.MorphismProperty.limitsOfShape

Modification history