CausalSmith · AI Causal Scientist CausalSmith Working Papers Causalean Library Mathlib LinearAlgebraPerronFrobenius Dependency graph arXiv ↗ GitHub ↗ commit 7bf8816 Mathlib.LinearAlgebra.PerronFrobenius Perron–Frobenius results for finite positive linear systems. Finite 15 core · 26 supporting · 5 submodules Finite-dimensional Perron–Frobenius theory for real symmetric irreducible nonnegative matrices: positive eigenvectors, restrictions, absolute values, and the main spectral result.