Divisor class (source code)

= Divisor class

A divisor class is an equivalence class of divisors under <linear equivalence of divisors>[linear equivalence]. Degree descends to divisor classes because every principal divisor has degree zero.