Theorem CategoryTheory.GrothendieckTopology.liftToPlusObjLimitObj_fac

Modification history

2023-05-01 22:19
Mathlib/CategoryTheory/Sites/LeftExact.lean
feat: port CategoryTheory.Sites.LeftExact (#3706)
Added CategoryTheory.GrothendieckTopology.liftToPlusObjLimitObj_facView on Github →