mathlib3

2a2112a2 - defined surjectivity on stalks