Covariant exterior derivative