OAI/Probability/InvariantIsing/Arrays/OverlapTestSeparation.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A bounded continuous conditional residual is zero when all bounded continuous total-overlap tests annihilate it.

  1. theorem OAI.InvariantIsing.ae_zero_of_continuous_overlap_tests line 14