Code

Bump mathlib2#84

Code

Open

mo271 wants to merge 4 commits intomainmo271/FormalBook:mainfrom bump_mathlib2mo271/FormalBook:bump_mathlib2Copy head branch name to clipboard

+81-81

Commits

Commits on Dec 7, 2024

• bump mathlib

  mo271

  committed
  addaa06

  Copy full SHA for addaa06

• fix depration

  mo271

  committed
  815df64

  Copy full SHA for 815df64

Commits on Dec 8, 2024

• bump again

  mo271

  committed
  3fa82f4

  Copy full SHA for 3fa82f4

Commits on Dec 9, 2024

• bump again

  mo271

  committed
  816bf74

  Copy full SHA for 816bf74