chore(linear_algebra/matrix/nonsingular_inverse): use pi.single instead of ite (#9944)
chore(linear_algebra/matrix/nonsingular_inverse): use pi.single instead of ite (#9944)






leanprover-community/mathlib,leanprover-community/mathlib