2 ms·
Another attempt at that diagram, with more structures but less detail on how they differ: http://us.metamath.org/mpegif/mmtopstr.html http://us.metamath.org/mp
by twic 7y ago
Another attempt at that diagram, with more structures but less detail on how they differ:
http://us.metamath.org/mpegif/mmtopstr.html http://us.metamath.org/mpegif/mmtopstr.html