Spectral positivity

Source: url:https://github.com/mrdouglasny/spectral-positivity Authors: Michael R. Douglas Status: verified Main declarations: allpos_has_pos_eigenvec, perron_frobenius, ground_state_strictly_positive Tags: linear-algebra, perron-frobenius, positivity MSC: 15B48, 15A18