P
Initializing...
The Fredholm index is additive under composition · Prove2Me