Library Stdlib.micromega.Fourier

From Stdlib Require Import Lra.
From Stdlib Require Export Fourier_util.

#[deprecated(since = "8.9.0", note = "Use lra instead.")]
Ltac fourier := lra.