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

Commit
4 years ago
chore(linear_algebra/matrix/nonsingular_inverse): use pi.single instead of ite (#9944)
Author
Parents
Loading