FormalConjectures/Arxiv/0805.3777/
22 declarations, 15 contain sorry, 0 declared as axioms; 1 files
Files
- TensorRank.lean 22 declarations
FormalConjectures/Arxiv/0805.3777/22 declarations, 15 contain sorry, 0 declared as axioms; 1 files