Theorem CategoryTheory.MorphismProperty.baseChange_map

Modification history