OAI/Probability/InvariantIsing/Fields/PriorMinimumIncrement.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Physical increments of the fixed-prior minimum envelope.

  1. theorem OAI.InvariantIsing.prior_minimum_increment line 12