OAI/Probability/InvariantIsing/Spectral/ScaledSpectralSigned.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Spectral support under a scalar of either sign.

  1. lemma OAI.InvariantIsing.signed_scaled_spectral_support line 10
  2. lemma OAI.InvariantIsing.signed_scaled_spectral_endpoints line 25