Theorem CategoryTheory.Functor.preimage_comp

Modification history