OAI/Probability/GaussianPropeller/Configuration.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.GaussianPropeller.Reduction.Configuration line 41
2. lemma OAI.GaussianPropeller.Reduction.exists_configuration line 65