mathlib3

7ac96dea - refactor(data/nat/basic): move more bit theory out (#17763)

refactor(data/nat/basic): move more bit theory out (#17763) Co-authored-by: Scott Morrison <scott.morrison@gmail.com> Co-authored-by: Ruben Van de Velde <65514131+Ruben-VandeVelde@users.noreply.github.com>