[Merged by Bors] - feat: lift (ℶ_ o) = ℶ_ (lift o)

[Merged by Bors] - feat: lift (ℶ_ o) = ℶ_ (lift o) #7624