mathlib3

05b93a58 - feat: update to Lean 3.51.0 (#19060)

feat: update to Lean 3.51.0 (#19060) This version: * Propagates goal tags through `unfreezingI` * Uses a more recent set of emscripten build tools It's hard to know whether this will break the web editor, other than just pushing and finding out.