Division data survive a vertical perturbation `f ↦ f + π h` of the divisor. · Prove2Me

P

Initializing...

Division data survive a vertical perturbation `f ↦ f + π h` of the divisor. · Prove2Me