AI Summary: The documentation for Pauli matrices in the `physlib` repository incorrectly claims the existence of specific tensorial notations (`σ^^^`, `σ_^^`, `σ___`, `σ^__`). These notations are not defined in the code, and the issue proposes removing these false assertions from the docstring while retaining the correct information about the base `pauliMatrix` definition.
A project to digitalise results from physics into Lean.