cubical icon indicating copy to clipboard operation
cubical copied to clipboard
verified publisher icon agda

Make `Lift`'s level argument explicit

Open anshwad10 opened this issue 1 month ago • 5 comments

See the discussion at #1236

anshwad10 avatar Nov 15 '25 10:11 anshwad10