Skip to content

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

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

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

Lint style

succeeded Oct 28, 2024 in 1m 19s