2 ms·Ah is that what Lean does with its type universes?by IshKebab 1y agoAh is that what Lean does with its type universes?cjfd 1y agoYes, it is.