Documentation

TauCeti.NumberTheory.EffectiveBounds.Quadratic.ClassNumber.Basic

Compatibility import for quadratic class-number bounds #

This module preserves the former public import path for quadratic class-number bounds. The declarations now live in TauCeti.NumberTheory.EffectiveBounds.ClassNumber.Basic.