The Kronecker delta tensor K of rank r is the type (r, r) tensor which is defined as follows.  Let I be the type (1, 1) tensor whose components in any coordinate system are given by the identity matrix, that is, for any vector field I(X) = X.  Then K is obtained from the r-fold tensor product of I fully skew-symmetrizing over all the covariant indices.

The command KroneckerDelta(spatialType, r) returns the rank r Kronecker delta tensor K of the type specified by indexType in the current frame unless the frame is explicited specified.

This command is part of the DifferentialGeometry:-Tensor package, and so can be used in the form KroneckerDelta(...) only after executing the command with(DifferentialGeometry) and with(Tensor) in that order.  It can always be used in the long form DifferentialGeometry:-Tensor:-KroneckerDelta.