Compensated Compactness for Differential Forms in Carnot Groups and Applications