P
Initializing...
Injectivity of the partial-fraction map for pairwise coprime binary forms: if `∑ h i ∏_{j ≠ i} g j = c ∏ g i` with `h i` vanishing at `ν i`, then all `h i = 0`. · Prove2Me