Theorem Pi.mabs_eq_one

Modification history

2026-06-12 12:02
Mathlib/Algebra/Order/Group/Unbundled/Abs.lean
feat: prove elementary spectral bound for Z-matrices (#40372) …
Added Pi.mabs_eq_oneView on Github →