Skip to content

Bump to Lean v4.33.0-rc1 / Mathlib 0434c033 / BrownianMotion 314f04a, and consume what upstream now provides - #214

Open
raphaelrrcoelho wants to merge 4 commits into
mainfrom
chore/pins-v4.33.0-rc1
Open

Bump to Lean v4.33.0-rc1 / Mathlib 0434c033 / BrownianMotion 314f04a, and consume what upstream now provides#214
raphaelrrcoelho wants to merge 4 commits into
mainfrom
chore/pins-v4.33.0-rc1

chore(ledger): re-verify the corpus at the new pin

907923d
Select commit
Loading
Failed to load commit list.

There are no checks for this commit