Skip to content

[Merged by Bors] - feat: lemmas on ordinal Nat.cast #284877

[Merged by Bors] - feat: lemmas on ordinal Nat.cast

[Merged by Bors] - feat: lemmas on ordinal Nat.cast #284877

Annotations

1 warning

ci (fork)  /  Post-CI job

succeeded Apr 2, 2026 in 7s