Def category_theory.subobject.map_iso_to_order_iso

Modification history