[Merged by Bors] - feat: lift (ℶ_ o) = ℶ_ (lift o)
#7624
The logs for this run have expired and are no longer available.
Loading
lift (ℶ_ o) = ℶ_ (lift o)
#7624