Skip to content
Propose PR

An element of prod_v K_v is a finite adele iff its image in prod_w L_w is a finite adele #215

Sign in to view logs

An element of prod_v K_v is a finite adele iff its image in prod_w L_w is a finite adele

An element of prod_v K_v is a finite adele iff its image in prod_w L_w is a finite adele #215

Run time

Learn about OS pricing on GitHub Actions
Job Run time
propose_pr
0s
0s