Weil divisor (source code)

= Weil divisor
{wiki}

A Weil divisor on a Noetherian integral scheme is a finite integer combination of integral codimension-one closed subschemes.