mathlib documentation

topology.sheaves.punit

Presheaves on punit #

Presheaves on punit satisfy sheaf condition iff its value at empty set is a terminal object.