Propose PR

`PadicInt.valuation` should be `ℕ`-valued #207

Sign in to view logs

Summary
Jobs
- propose_pr
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
propose_pr	0s
	0s