All Questions
Tagged with universe-polymorphism set-theory
1
question
7
votes
1
answer
378
views
Cardinality of Type in a given universe
I'm trying to determine the cardinality of Type u in Lean 3. So far I've been able to prove two inequalities:
...