3 ms·Roughly, yes. See B. Werner (1997) “Sets in types, types in sets”.by mietek 1mo agoRoughly, yes. See B. Werner (1997) “Sets in types, types in sets”.