Lemmas

📁 Source: PhysLean/Relativity/Tensors/ComplexTensor/Lemmas.lean

Statistics

Metric	Count
Definitions	0
Theorems antiSymm_contr_symm	1
Total	1

complexLorentzTensor

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
antiSymm_contr_symm 📖	mathematical	TensorSpecies.Tensor Color complexLorentzTensor Color.up IndexNotation.OverColor IndexNotation.instGroupoidOverColor TensorSpecies.F TensorSpecies.Tensorial.toTensor TensorSpecies.Tensorial.self TensorSpecies.Tensor.permT TensorSpecies.Tensor.PermCond.auto TensorSpecies.Tensor.PermCond Color.down	TensorSpecies.Tensor.Pure.dropPairEmb TensorSpecies.Tensor.contrT TensorSpecies.Tensor.contrT_decide TensorSpecies.τ TensorSpecies.Tensor.prodT	—	TensorSpecies.Tensor.PermCond.auto TensorSpecies.Tensor.contrT_decide TensorSpecies.Tensor.Pure.permCond_dropPairEmb_comm TensorSpecies.Tensor.PermCond.comp TensorSpecies.Tensor.prodRightMap_permCond TensorSpecies.Tensor.prodLeftMap_permCond TensorSpecies.Tensor.Pure.dropPairEmb_dropPairEmbPre TensorSpecies.Tensor.Pure.permCond_dropPairOfMap TensorSpecies.Tensor.prodT_permT_left TensorSpecies.Tensor.prodT_permT_right TensorSpecies.Tensor.permT_permT TensorSpecies.Tensor.contrT_comm TensorSpecies.Tensor.contrT_congr TensorSpecies.Tensor.contrT_permT TensorSpecies.Tensor.permT_congr

---

← Back to Index