Back to pull request #18171

[Merged by Bors] - feat(Algebra/Order/Field/Basic): add Nat cast lemmas #41007

Sign in to view logs

Triggered via pull request October 28, 2024 09:08

synchronize #18171

mariainesdff/nat_cast

Status Success

Total duration 16s

Artifacts –

label_new_contributor.yml

on: pull_request

label-and-report-new-contributor