mathlib3 documentation

topology.sheaves.limits

Presheaves in C have limits and colimits when C does. #

THIS FILE IS SYNCHRONIZED WITH MATHLIB4. Any changes to this file require a corresponding PR to mathlib4.