ByNobleID
    Exterior covariant derivatives for an extended Cartan theory | NobleID