P
Initializing...
Uniqueness of the local index of an isolated zero · Prove2Me