pub fn kernel_matrix_ty() -> Expr
KernelMatrix: Gram matrix K_{ij} = k(x_i, x_j) ∈ ℝ^{n×n} Type: (Type → Type) → Nat → Type
KernelMatrix