How does auther prove the equivlence between two definition?
How does auther prove that it suffices to prove the simple case where the support of f is contained in some coordinate patch?
In this chapter, I feel many details are omited and hard to read. Is there some similar book can help me learn these knowledge?

