Documentation

LeanPool.CCDN.AffineCurveBound

The full coefficient-uniform affine curve counting theorem, with constants depending only on ambient dimension and with the exact degree dependence in CCDN Theorem 3. The proof is affine_curve_count, in CCDN.Curve.AffineCurveCount.

The affine curve counting bound AffineCurveBound of CCDN Theorem 3.