At the end of 12.2.4 there are four examples about local inverses. Before those examples, change "The next one states" to " The next ones state". In the fourth example, the assumptions "{f : E → F} {f ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results