Commit 2024-04-11 19:59 1e53d4f0

View on Github →

chore: exact by decide -> decide (#12067)

Estimated changes

Modified Mathlib/Algebra/Polynomial/Div.lean

Modified Mathlib/Data/Nat/Bits.lean

Modified Mathlib/Data/Nat/Prime.lean

Modified Mathlib/Data/Num/Lemmas.lean

Modified Mathlib/FieldTheory/Finite/Basic.lean

Modified Mathlib/Init/Data/Bool/Lemmas.lean

modified theorem Bool.bool_iff_false

Modified Mathlib/NumberTheory/PythagoreanTriples.lean

Modified Mathlib/NumberTheory/Zsqrtd/QuadraticReciprocity.lean

Modified Mathlib/Order/Compare.lean

Modified Mathlib/RingTheory/DiscreteValuationRing/Basic.lean