Def CategoryTheory.GrothendieckTopology.liftToPlusObjLimitObj

Modification history

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