Theorem CategoryTheory.MorphismProperty.baseChange_obj

Modification history