Def CategoryTheory.Limits.preservesCoequalizersOfPreservesPushoutsAndBinaryCoproducts

Modification history