[Merged by Bors] - chore: deprecate Nat.binaryRec_eq
, rename Nat.binaryRec_eq'
=> Nat.binaryRec_eq
#18039
+14
−22