Code

feat(Data/Fin): add @[simp] lemmas#22259

Code

Open

urkud wants to merge 6 commits intomasterleanprover-community/mathlib4:masterfrom YK-fin-valleanprover-community/mathlib4:YK-fin-valCopy head branch name to clipboard

+41-42

Commits

Commits on Feb 24, 2025

• Snapshot

  urkud

  committed
  61a0829

  Copy full SHA for 61a0829

• Fix

  urkud

  committed
  d452885

  Copy full SHA for d452885

Commits on Feb 25, 2025

• Fix

  urkud

  committed
  d85e222

  Copy full SHA for d85e222

• Fix

  urkud

  committed
  252739d

  Copy full SHA for 252739d

• Fix

  urkud

  committed
  fbd216c

  Copy full SHA for fbd216c

• Update Mathlib/Data/Fin/Basic.lean

  urkud

  authored
  af75a6e

  Copy full SHA for af75a6e