Def CategoryTheory.Functor.preservesFiniteLimitsOfPreservesMonosAndCokernels

Modification history