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.
This module preserves the former public import path for quadratic class-number bounds. The
declarations now live in TauCeti.NumberTheory.EffectiveBounds.ClassNumber.Basic.