Theorem CategoryTheory.ObjectProperty.prop_map_iff

Modification history