DibyashanuPati/PhysLean
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

docs: Small update in terminology

Browse source
This commit is contained in:
jstoobysmith 2024-11-07 15:48:07 +00:00
parent 23eef76da1
commit 27b9370c63
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
HepLean/Tensors/Tree/Basic.lean
View file

@ -37,8 +37,8 @@ open IndexNotation
open CategoryTheory
open MonoidalCategory
/-- The structure of a type of tensors e.g. Lorentz tensors, Einstien tensors,
complex Lorentz tensors. -/
/-- The structure of a type of tensors e.g. Lorentz tensors, ordinary tensors
(vectors and matrices), complex Lorentz tensors. -/
structure TensorSpecies where
/-- The commutative ring over which we want to consider the tensors to live in,
usually `ℝ` or `ℂ`. -/