@amysmilebatto Looks like you have a missing dependency. I don't see what's wrong with the file the PROFESSOR made (I don't know why you're emphasizing it like that haha)
@amysmilebatto Are you trying to do it in a pure functional way? Also, I might misremember but I think you can do {for x in y} to generate a set instead of first making a list then converting it
@amysmilebatto Plus, if you have a name for a concept, every later theorem will mention the concept by name. Take for example, an open set. Now imagine you don't know the name but know the concept. How are you going to parse "f is continuous iff for every open set O f^-1(O) is open"
@amysmilebatto I don't even think this relates to the argument of allowing textbooks or not because the names are the easy part to remember, and if you remember the contents you also remember the name in 100% of the cases (in my experience)
@amysmilebatto According to google, literacy is "the ability to read and write" first and foremost, and only describes being knowledgeable and well read as a secondary definitely