Theorem CategoryTheory.MorphismProperty.top_apply

Modification history