Really amazing! But it would be great if one can obtain more information (the labels aren't really readable), e.g. which field (chapter?) each of the "blossoms" belongs to. Maybe colors (as proposed by Benoit) may help...
Alexander -- 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/a0b1bd0a-91b9-4138-8599-e4c1e43deff0%40googlegroups.com.
