>>11120414Absolutely, and anyone telling you otherwise is either shitposting or a LARPer who hasn't ever done any actual mathematical work. Actual textbooks and monographs are written with people who don't have the time for autistic detail in mind, i.e. real mathematicians and students.
