mathlib3

4453f2fd - second half of stalk surjectivity lemma