feat: Decidable instance for Nat.isPowerOfTwo#11905

kim-em merged 2 commits intoleanprover:masterleanprover/lean4:masterfrom

georgerennie:george/decidable_ispoweroftwogeorgerennie/lean4:george/decidable_ispoweroftwoCopy head branch name to clipboard