18 ms·
https://github.com/metamath/set.mm https://github.com/metamath/set.mm , if you do not object to your theorems being machine-provable.
by mazsa 2y ago
https://github.com/metamath/set.mm https://github.com/metamath/set.mm , if you do not object to your theorems being machine-provable.