One very small question I think is appropriate for this thread as the area triangle stuff is moved.
The theorems in my Mathbox have been moved to us.metamath.org which is nice. However there is no "structured version" for them at the moment (the button in the top right you can click to see more usual notation). Does this just take time or is there anything I can do to activate it? I'd like to show what I am doing to my old supervisor and they will get on much better with the structured versions I think. -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/05af0812-c377-47e1-a756-b2684e43b217%40googlegroups.com.
