Riemann–Roch for algebraic function fields

Source: url:https://github.com/vaca22/riemann-roch-function-fields Authors: Guanghao Li Status: verified Main declarations: FunctionField.riemann_roch Tags: riemann-roch, function-fields, algebraic-curves, weil-differentials, elliptic-curves MSC: 14H05, 11R58, 14H52