Documentation

Mathlib.Topology.Sheaves.Limits

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