chore: redefine Nat.div2
Nat.bodd
#13649
+73
−100
Open
Nat.div2
Nat.bodd
#13649