@EmilJeřábek Of course the reader will not really forget everything about the proof as soon as they reach the “end of proof” symbol. What will really happen, however, is that many will read the statement, think “oh this is what I care about”, and then read the proof somewhat carelessly because they're only paying attention to what they decided they cared about (e.g., how a particular object is constructed); telling them ex post facto“oh you should also have cared about this other part” can seem rude.
↧