A geometric point has zero arithmetic Picard class exactly when its actual line bundle is trivial

Initializing...

A geometric point has zero arithmetic Picard class exactly when its actual line bundle is trivial · Prove2Me