Theorem CategoryTheory.eqToHom_iso_inv_naturality

Modification history

2023-08-05 10:32
Mathlib/CategoryTheory/EqToHom.lean
feat: (co/bi/)products unchanged by reindexing and isomorphism of factors (#6259)
Added CategoryTheory.eqToHom_iso_inv_naturalityView on Github →