mathlib

98895022 - feat(linear_algebra/pi): add `submodule.pi` (#6576)