Theorem CategoryTheory.Functor.FullyFaithful.preimage_comp

Modification history