20.1. Keystones🔗

• MeromorphicOneFormSystem

exists_nonconstant_meromorphic — source · report an issue

theorem exists_nonconstant_meromorphic :
    ∃ (D : Divisor X) (f : MeromorphicFunction X),
      f ∈ linearSystem (X := X) D ∧ ¬ IsGermConstant f

• SerreOmega0