Theorem CategoryTheory.MorphismProperty.monotone_map

Modification history