The Fubini and Tonelli Theorems for Product Local Systems