OAI/Probability/InvariantIsing/Spectral/CompactTestsInMeasure.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Convergence in measure from separating continuous tests on a compact state space.

  1. theorem OAI.InvariantIsing.compact_tests_tendstoInMeasure line 11