Skip to content

Down to 1 monomorphic universe above Set in the core library.

6e79826
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Draft

Algebraic universes and variances #21603

Down to 1 monomorphic universe above Set in the core library.
6e79826
Select commit
Loading
Failed to load commit list.