TensorHoare/Kashiwara not found