P
Initializing...
Spivak Thm 4-11 (proof): K preserves smoothness · Prove2Me