mathlib3

f452b383 - feat(data/pi): bit[01]_apply simp lemmas (#11086)