Propose PR

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

Sign in to view logs

Summary
Jobs
- propose_pr
Run details
- Usage
- Workflow file

Triggered via issue December 18, 2024 01:13

kbuzzard

commented on #254 b6ba352

Status Skipped

Total duration 3s

Artifacts –

03-propose-pr.yml

on: issue_comment