Go back to the tag's page.
Tags: Added new tags
Improve chapter on hypercoverings Made it more general so it works also for the hypercoverings exactly as defined in Verdier's original.