Theorem CategoryTheory.ObjectProperty.prop_map_obj

Modification history