Theorem CategoryTheory.inv_eqToHom

Modification history