Theorem CategoryTheory.eqToIso_trans

Modification history