Theorem CategoryTheory.eqToHom_op

Modification history