OAI/Probability/StrongRayleigh/InnovationFiniteLaw.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem336AdditiveD139.InnovationCharacteristic.gaussian_increment_law_of_local_characteristic line 18
2. theorem OAI.Problem336AdditiveD139.InnovationCharacteristic.gaussian_increment_law_of_local_characteristic_nnreal line 59