Skip to content

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

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

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

Annotations

1 warning

Lint and suggest

succeeded Apr 2, 2026 in 2m 13s