fix(Tensors): rank the tensor action above the Tensorial action - #1611

fix(Tensors): rank the tensor action above the Tensorial action#1611

jstoobysmith merged 2 commits into

masterleanprover-community/physlib:masterfrom

tensor_action_priorityleanprover-community/physlib:tensor_action_priorityCopy head branch name to clipboard