Theorem CategoryTheory.eq_conj_eqToHom

Modification history