Theorem CategoryTheory.ObjectProperty.ihom_map

Modification history