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 #209
Triggered via issue
December 10, 2024 14:29
Status
Skipped
Total duration
3s
Artifacts
–
05-awaiting-review.yml
on: issue_comment
awaiting_review
0s