mathlib3

a4d9581e - feat(algebra/group_power/order): add pow_bit0_pos_iff (#11785)