Covering sheet (source code)

= Covering sheet

A <covering sheet> over an <evenly covered neighbourhood> $U$ is one of the disjoint <open subsets> of $p^{-1}(U)$ mapped onto $U$ by a <homeomorphism> obtained by restricting the <covering map>.