Skip to content

Update Aleph.lean

077c737
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Closed

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

Update Aleph.lean
077c737
Select commit
Loading
Failed to load commit list.