Skip to content
Post PR summary comment

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

Sign in to view logs

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

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

Triggered via pull request October 28, 2024 09:08
@mariainesdffmariainesdff
synchronize #18171
mariainesdff/nat_cast
Status Success
Total duration 50s
Artifacts –

PR_summary.yml

on: pull_request
build
40s
build
Fit to window
Zoom out
Zoom in