OAI/Probability/FreeIsing/Factors/ZeroFactor.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Problem367.freeCylinderWeight_zero_of_card line 10
2. lemma OAI.Problem367.fairSpinFactor_hasFreeIsingLaw_of_card line 17
3. lemma OAI.Problem367.isFactorOfIID_zero_of_card line 24
4. theorem OAI.Problem367.isFactorOfIID_zero line 32
5. theorem OAI.Problem367.free_ising_factor_beta_zero line 35