Theorem CategoryTheory.Functor.IsEquivalence.ofIso_refl

Modification history