Equivalence of Chart-Atlas and Bundle-Section Definitions of Differential Forms