Documentation

LeanPool.ParameterFreeGradient.V7.Proofs.Stage3BelowTwoS3F.Proof

Existence of the certified below-two local trial with its complete operational contract.