Theorem CategoryTheory.eqToHom_naturality

Modification history