What's the best available date for the release of Eric Schmidt's paper "Reductions in Norman Megill’s axiom system for complex numbers" <http://us.metamath.org/downloads/schmidt-cnaxioms.pdf>? It was released sometime in 2012, but I don't have a more specific date. I'd like to add it to the list of Gource captions for set.mm.
Also: If you ever contributed to set.mm, and you don't have an avatar in the "people/" directory, please tell me how you'd like to be represented. Gource will use a stub image lacking anything else, but I'd like something more personal where possible. Thank you! --- David A. Wheeler -- 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/E1jUJwY-0007VZ-MO%40rmmprod06.runbox.
