if x in prod_v K_v then x is a finite adele iff l (x) x in prod_w L_w is a finite adele #210
Triggered via issue
December 10, 2024 17:56
Status
Skipped
Total duration
4s
Artifacts
–