3 ms·https://en.m.wikipedia.org/wiki/Univalent_foundations https://en.m.wikipedia.org/wiki/Univalent_foundationsby empath75 7y agohttps://en.m.wikipedia.org/wiki/Univalent_foundations https://en.m.wikipedia.org/wiki/Univalent_foundations