Theorem CategoryTheory.Functor.relativelyRepresentable.isomorphisms_le

Modification history