Exterior_derivative