Documentation

LeanPool.ParameterFreeGradient.V7.Proofs.Stage7StrictRandomizedExpected.Closure

The strict-oracle scale-identification impossibility theorem and its deterministic and randomized forms.

The exact frozen four-part scale-identification impossibility carrier.