Skip to content
Propose PR

A rational which is a p-adic integer for all p is an integer. #235

Sign in to view logs

A rational which is a p-adic integer for all p is an integer.

A rational which is a p-adic integer for all p is an integer. #235

Triggered via issue January 6, 2025 08:50
@kbuzzardkbuzzard
commented on #254 d7c4ef5
Status Skipped
Total duration 3s
Artifacts –

03-propose-pr.yml

on: issue_comment
propose_pr
0s
propose_pr
Fit to window
Zoom out
Zoom in