BasicDDIDefQ[cd] returns True if the basic DDI has been defined for the covariant derivative cd, and False otherwise. |
BasicDDIDefQ[cd, d] returns True if the basic DDI has been defined for the covariant derivative cd in d dimensions, and False otherwise. |