Theorem CategoryTheory.eqToHom_iso_hom_naturality

Modification history