3 ms·
This is a fun thing. For more about the underlying system, see: http://us.metamath.org/mpeuni/mmset.html http://us.metamath.org/mpeuni/mmset.html
by dwheeler 8y ago
This is a fun thing. For more about the underlying system, see:
http://us.metamath.org/mpeuni/mmset.html http://us.metamath.org/mpeuni/mmset.html