OAI/Algebra/Finitistic/Tensor/
61 declarations, 0 contain sorry, 0 declared as axioms; 8 files
Files
- BalancedFreeLeft.lean 12 declarations
- BalancedProjectiveLeft.lean 6 declarations
- BalancedTensor.lean 8 declarations
- BalancedTensorMaps.lean 5 declarations
- BalancedVertexFunctor.lean 6 declarations
- BalancedVertexImage.lean 10 declarations
- IdempotentTensor.lean 9 declarations
- IdempotentTensorMaps.lean 5 declarations