OAI/Probability/GammaPassage/LocalizationProbability.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.GammaFPP.GammaEnvironment.measurableSet_localization_error line 15
2. theorem OAI.GammaFPP.GammaEnvironment.localization_error_probability_real line 25