Documentation

LeanPool.ParameterFreeGradient.V7.Proofs.Stage1E03

Stage-1 aggregate after the dependency-pure E03 closure.