Both original norm endomorphisms of the actual rational Picard are finite etale and surjective

Initializing...

Both original norm endomorphisms of the actual rational Picard are finite etale and surjective · Prove2Me