Skip to content

Another minor universe level generalisation#1177

Merged
felixwellen merged 1 commit intoagda:masterfrom
awswan:master
Jan 6, 2025
Merged

Another minor universe level generalisation#1177
felixwellen merged 1 commit intoagda:masterfrom
awswan:master

Commits

Commits on Jan 5, 2025