OAI/Probability/InvariantIsing/Spectral/SpectralLabelCounts.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Counts on arbitrary finite spectral labels and their deterministic relabeling.

  1. def OAI.InvariantIsing.spectralLabelCount line 13
  2. lemma OAI.InvariantIsing.spectral_label_counts_partition line 18
  3. lemma OAI.InvariantIsing.spectralLabelCount_relabel line 41
  4. lemma OAI.InvariantIsing.spectral_label_counts_relabel line 52