Theorem CategoryTheory.Functor.IsEquivalence.ofIso_trans

Modification history