P
Initializing...
Pullback of sections is bijective when the structure map is an isomorphism · Prove2Me