338A          ; mapped                 ; 0070 0066     # 1.1  SQUARE PF
338B          ; mapped                 ; 006E 0066     # 1.1  SQUARE NF
338C          ; mapped                 ; 03BC 0066     # 1.1  SQUARE MU F
338D          ; mapped                 ; 03BC 0067     # 1.1  SQUARE MU G
338E          ; mapped                 ; 006D 0067     # 1.1  SQUARE MG
338F          ; mapped                 ; 006B 0067     # 1.1  SQUARE KG

Plane is of given Quantities; the perpendicular velocity of that Motion
or Thing, at its emerging out of that space, shall be always equal to
the square Root of the sum of the square of the perpendicular velocity
of that Motion or Thing at its Incidence on that space; and of the
square of the perpendicular velocity which that Motion or Thing would
have at its Emergence, if at its Incidence its perpendicular velocity
was infinitely little.

  }];
}

def TF_CholeskyOp : TF_Op<"Cholesky", [Pure]> {
  let summary = [{
Computes the Cholesky decomposition of one or more square matrices.
  }];

  let description = [{
The input is a tensor of shape `[..., M, M]` whose inner-most 2 dimensions
form square matrices.

The input has to be symmetric and positive definite. Only the lower-triangular