Mathlib v4.35.0-rc2

The dataset (S2, ltb-dataset/2) of leanprover-community/mathlib4 at 065356127b1dc0016f66b7283ce0ce2c4055aa55, by trust-extract 0.12.0, dataset spec ltb-dataset/2, meaning hash ltb-meaning/1, local hash ltb-local/3, content hash ltb-content/1, Lean 4.35.0-rc2 (LeanTrustBuilders/extractor).

With the kernel check along meaning (facet check.kernel.meaning, by trust-extract check 0.12.0 in a build of this commit): 314,032 of Mathlib's 314,129 declarations check against their closure; 42 lack a constant (26 distinct: the Inhabited instances that partial defs in Mathlib.Tactic rest on), 55 are skipped (unsafe).