OAI/Probability/InvariantIsing/Spectral/CompactFiniteTestControl.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Finitely many separating tests control a continuous image of a compact space.

  1. theorem OAI.InvariantIsing.compact_finite_test_control line 12