refactor(Tensors): remove pre-Lorentz Contr/Co reps in favour of ContrMod.rep/CoMod.rep#1336

jstoobysmith merged 2 commits into

leanprover-community:masterleanprover-community/physlib:masterfrom

Robby955:refactor/co-contr-cleanupRobby955/physlib:refactor/co-contr-cleanupCopy head branch name to clipboard