mrdouglasnySpectralPositivity0.1.0

Perron-Frobenius, Jentzsch theorem, and matrix/operator positivity in Lean 4
#math
Displaying 1-1 of 1 packages depending on mrdouglasny/SpectralPositivity
Sort by

  1. mrdouglasny/pphi2uses073f4af

    Construction of phi^4_2 quantum field theory in Lean 4