FLT/Mathlib/LinearAlgebra/TensorProduct/
5 declarations, 0 contain sorry, 0 declared as axioms; 3 files
Files
- Algebra.lean 2 declarations
- Basis.lean 2 declarations
- FiniteFree.lean 1 declarations
FLT/Mathlib/LinearAlgebra/TensorProduct/5 declarations, 0 contain sorry, 0 declared as axioms; 3 files