Def category_theory.nat_iso_of_comp_fully_faithful

Modification history