Theorem CategoryTheory.IsEquivalence.ofIso_trans

Modification history