Post #4230129

@ltchen@mathstodon.xyz I'm apparently the sort of person who would pick up a book and immediately look for my name in the index, at least in the sense that my first reaction as I was reading this post was to see whether Metamath was in the list of systems discussed. (It is not.)