feat: Basis for Tensors #1852
Annotations
2 errors
|
runLinter on HepLean:
HepLean/Tensors/TensorSpecies/Basic.lean#L328
TensorSpecies.liftTensor definition missing documentation string
|
|
runLinter on HepLean
The process '/usr/bin/env' failed with exit code 1
|
Loading