theorem Corollary2222.ell_eq_genus {C : Type u_1} {F : Type u_2} {k : Type u_3} [Field k] [Field F] [Algebra k F] [RiemannRochData C F k] (W : CurveDivisor C) (hW : RiemannRochSpace.IsCanonicalDivisor W) : ↑(RiemannRochSpace.divisorDim W) = ↑RiemannRochSpace.genus