Skip to content
Back to pull request #18039

[Merged by Bors] - chore: deprecate Nat.binaryRec_eq, rename Nat.binaryRec_eq' => Nat.binaryRec_eq #25395

Sign in to view logs

[Merged by Bors] - chore: deprecate Nat.binaryRec_eq, rename Nat.binaryRec_eq' => Nat.binaryRec_eq

[Merged by Bors] - chore: deprecate Nat.binaryRec_eq, rename Nat.binaryRec_eq' => Nat.binaryRec_eq #25395

build

build
succeeded Oct 22, 2024 in 41s