get the specific version of mathlib

Stream: new members

[Jiatong Yang]

What command should I execute to use codewar's "3.39.1 fb41da9" version of lean and mathlib?

[Jiatong Yang]

(deleted)

[Alex J. Best]

From a copy of mathlib git checkout fb41da9 should get you to the right state, the lean version for that commit is 3.39.1 which elan will get for you automatically (dont forget to leanproject get-mathlib-cache too)