Skip to content

Instantly share code, notes, and snippets.

@Vierkantor

Vierkantor/get-top-level-imports.lean

Last active March 14, 2025 16:18
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save Vierkantor/eb8035661c69d723310cd471272b0b11 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save Vierkantor/eb8035661c69d723310cd471272b0b11 to your computer and use it in GitHub Desktop.
Download ZIP
transitive top-level imports
Raw
get-top-level-imports.lean
import Mathlib
open Lean Elab Command
/-- Get the top-level directory for this name.
For example: (`Mathlib.Data.Nat.Init).topLevel = `Mathlib.Data.
-/
partial def Lean.Name.topLevel (n : Name) (length := 2) : Name :=
if n.getNumParts <= length then n else n.getPrefix.topLevel (length := length)
#eval (`Mathlib.Data.Nat.Init).topLevel = `Mathlib.Data
/-- Get all top-level directories imported in `env`. -/
def Lean.Environment.topLevels (env : Environment) : NameSet :=
env.allImportedModuleNames.foldl (init := ∅) fun ns n =>
ns.insert n.topLevel
/-- Count the number of transitive top-level imports according to `env`. -/
def Lean.Environment.topLevelImportCount (env : Environment) : Std.HashMap (Name × Name) Nat :=
let imports := env.importGraph.transitiveClosure
let topLevels := env.topLevels.filter fun n => (`Mathlib).isPrefixOf n
let emptyMap := topLevels.fold (init := ∅) fun map n₁ =>
topLevels.fold (init := map) fun map n₂ =>
map.insert (n₁, n₂) 0
imports.fold (init := emptyMap) fun map mod deps =>
if (`Mathlib).isPrefixOf mod
then deps.fold (init := map) fun map dep =>
if (`Mathlib).isPrefixOf dep
then map.insert (mod.topLevel, dep.topLevel) (map.getD (mod.topLevel, dep.topLevel) 0 + 1)
else map
else map
run_cmd do
let counts := (← getEnv).topLevelImportCount
IO.println counts.toArray
Raw
output.txt
#[
((Mathlib, Mathlib), 0),
((Mathlib, Mathlib.Algebra), 1052),
((Mathlib, Mathlib.AlgebraicGeometry), 82),
((Mathlib, Mathlib.AlgebraicTopology), 65),
((Mathlib, Mathlib.Analysis), 535),
((Mathlib, Mathlib.CategoryTheory), 723),
((Mathlib, Mathlib.Combinatorics), 118),
((Mathlib, Mathlib.Computability), 22),
((Mathlib, Mathlib.Condensed), 27),
((Mathlib, Mathlib.Control), 25),
((Mathlib, Mathlib.Data), 634),
((Mathlib, Mathlib.Deprecated), 9),
((Mathlib, Mathlib.Dynamics), 25),
((Mathlib, Mathlib.FieldTheory), 67),
((Mathlib, Mathlib.Geometry), 88),
((Mathlib, Mathlib.GroupTheory), 128),
((Mathlib, Mathlib.InformationTheory), 3),
((Mathlib, Mathlib.Init), 1),
((Mathlib, Mathlib.Lean), 28),
((Mathlib, Mathlib.LinearAlgebra), 264),
((Mathlib, Mathlib.Logic), 50),
((Mathlib, Mathlib.MeasureTheory), 218),
((Mathlib, Mathlib.ModelTheory), 29),
((Mathlib, Mathlib.NumberTheory), 163),
((Mathlib, Mathlib.Order), 252),
((Mathlib, Mathlib.Probability), 84),
((Mathlib, Mathlib.RepresentationTheory), 13),
((Mathlib, Mathlib.RingTheory), 476),
((Mathlib, Mathlib.SetTheory), 50),
((Mathlib, Mathlib.Std), 1),
((Mathlib, Mathlib.Tactic), 281),
((Mathlib, Mathlib.Testing), 3),
((Mathlib, Mathlib.Topology), 493),
((Mathlib, Mathlib.Util), 26),
((Mathlib.Algebra, Mathlib), 0),
((Mathlib.Algebra, Mathlib.Algebra), 159431),
((Mathlib.Algebra, Mathlib.AlgebraicGeometry), 0),
((Mathlib.Algebra, Mathlib.AlgebraicTopology), 9),
((Mathlib.Algebra, Mathlib.Analysis), 233),
((Mathlib.Algebra, Mathlib.CategoryTheory), 28457),
((Mathlib.Algebra, Mathlib.Combinatorics), 1203),
((Mathlib.Algebra, Mathlib.Computability), 0),
((Mathlib.Algebra, Mathlib.Condensed), 0),
((Mathlib.Algebra, Mathlib.Control), 4596),
((Mathlib.Algebra, Mathlib.Data), 134884),
((Mathlib.Algebra, Mathlib.Deprecated), 0),
((Mathlib.Algebra, Mathlib.Dynamics), 514),
((Mathlib.Algebra, Mathlib.FieldTheory), 238),
((Mathlib.Algebra, Mathlib.Geometry), 0),
((Mathlib.Algebra, Mathlib.GroupTheory), 7794),
((Mathlib.Algebra, Mathlib.InformationTheory), 0),
((Mathlib.Algebra, Mathlib.Init), 1052),
((Mathlib.Algebra, Mathlib.Lean), 11958),
((Mathlib.Algebra, Mathlib.LinearAlgebra), 6737),
((Mathlib.Algebra, Mathlib.Logic), 24152),
((Mathlib.Algebra, Mathlib.MeasureTheory), 181),
((Mathlib.Algebra, Mathlib.ModelTheory), 0),
((Mathlib.Algebra, Mathlib.NumberTheory), 143),
((Mathlib.Algebra, Mathlib.Order), 52720),
((Mathlib.Algebra, Mathlib.Probability), 4),
((Mathlib.Algebra, Mathlib.RepresentationTheory), 0),
((Mathlib.Algebra, Mathlib.RingTheory), 8036),
((Mathlib.Algebra, Mathlib.SetTheory), 2155),
((Mathlib.Algebra, Mathlib.Std), 0),
((Mathlib.Algebra, Mathlib.Tactic), 126763),
((Mathlib.Algebra, Mathlib.Testing), 0),
((Mathlib.Algebra, Mathlib.Topology), 4671),
((Mathlib.Algebra, Mathlib.Util), 13250),
((Mathlib.AlgebraicGeometry, Mathlib), 0),
((Mathlib.AlgebraicGeometry, Mathlib.Algebra), 37567),
((Mathlib.AlgebraicGeometry, Mathlib.AlgebraicGeometry), 1150),
((Mathlib.AlgebraicGeometry, Mathlib.AlgebraicTopology), 0),
((Mathlib.AlgebraicGeometry, Mathlib.Analysis), 0),
((Mathlib.AlgebraicGeometry, Mathlib.CategoryTheory), 14335),
((Mathlib.AlgebraicGeometry, Mathlib.Combinatorics), 487),
((Mathlib.AlgebraicGeometry, Mathlib.Computability), 0),
((Mathlib.AlgebraicGeometry, Mathlib.Condensed), 0),
((Mathlib.AlgebraicGeometry, Mathlib.Control), 676),
((Mathlib.AlgebraicGeometry, Mathlib.Data), 25632),
((Mathlib.AlgebraicGeometry, Mathlib.Deprecated), 0),
((Mathlib.AlgebraicGeometry, Mathlib.Dynamics), 234),
((Mathlib.AlgebraicGeometry, Mathlib.FieldTheory), 130),
((Mathlib.AlgebraicGeometry, Mathlib.Geometry), 560),
((Mathlib.AlgebraicGeometry, Mathlib.GroupTheory), 3718),
((Mathlib.AlgebraicGeometry, Mathlib.InformationTheory), 0),
((Mathlib.AlgebraicGeometry, Mathlib.Init), 82),
((Mathlib.AlgebraicGeometry, Mathlib.Lean), 1401),
((Mathlib.AlgebraicGeometry, Mathlib.LinearAlgebra), 4963),
((Mathlib.AlgebraicGeometry, Mathlib.Logic), 3113),
((Mathlib.AlgebraicGeometry, Mathlib.MeasureTheory), 0),
((Mathlib.AlgebraicGeometry, Mathlib.ModelTheory), 0),
((Mathlib.AlgebraicGeometry, Mathlib.NumberTheory), 98),
((Mathlib.AlgebraicGeometry, Mathlib.Order), 10729),
((Mathlib.AlgebraicGeometry, Mathlib.Probability), 0),
((Mathlib.AlgebraicGeometry, Mathlib.RepresentationTheory), 0),
((Mathlib.AlgebraicGeometry, Mathlib.RingTheory), 9808),
((Mathlib.AlgebraicGeometry, Mathlib.SetTheory), 1399),
((Mathlib.AlgebraicGeometry, Mathlib.Std), 0),
((Mathlib.AlgebraicGeometry, Mathlib.Tactic), 15777),
((Mathlib.AlgebraicGeometry, Mathlib.Testing), 0),
((Mathlib.AlgebraicGeometry, Mathlib.Topology), 7291),
((Mathlib.AlgebraicGeometry, Mathlib.Util), 1459),
((Mathlib.AlgebraicTopology, Mathlib), 0),
((Mathlib.AlgebraicTopology, Mathlib.Algebra), 12372),
((Mathlib.AlgebraicTopology, Mathlib.AlgebraicGeometry), 0),
((Mathlib.AlgebraicTopology, Mathlib.AlgebraicTopology), 422),
((Mathlib.AlgebraicTopology, Mathlib.Analysis), 18),
((Mathlib.AlgebraicTopology, Mathlib.CategoryTheory), 8012),
((Mathlib.AlgebraicTopology, Mathlib.Combinatorics), 330),
((Mathlib.AlgebraicTopology, Mathlib.Computability), 0),
((Mathlib.AlgebraicTopology, Mathlib.Condensed), 0),
((Mathlib.AlgebraicTopology, Mathlib.Control), 435),
((Mathlib.AlgebraicTopology, Mathlib.Data), 11776),
((Mathlib.AlgebraicTopology, Mathlib.Deprecated), 0),
((Mathlib.AlgebraicTopology, Mathlib.Dynamics), 6),
((Mathlib.AlgebraicTopology, Mathlib.FieldTheory), 0),
((Mathlib.AlgebraicTopology, Mathlib.Geometry), 0),
((Mathlib.AlgebraicTopology, Mathlib.GroupTheory), 266),
((Mathlib.AlgebraicTopology, Mathlib.InformationTheory), 0),
((Mathlib.AlgebraicTopology, Mathlib.Init), 65),
((Mathlib.AlgebraicTopology, Mathlib.Lean), 875),
((Mathlib.AlgebraicTopology, Mathlib.LinearAlgebra), 120),
((Mathlib.AlgebraicTopology, Mathlib.Logic), 1842),
((Mathlib.AlgebraicTopology, Mathlib.MeasureTheory), 0),
((Mathlib.AlgebraicTopology, Mathlib.ModelTheory), 0),
((Mathlib.AlgebraicTopology, Mathlib.NumberTheory), 0),
((Mathlib.AlgebraicTopology, Mathlib.Order), 5032),
((Mathlib.AlgebraicTopology, Mathlib.Probability), 0),
((Mathlib.AlgebraicTopology, Mathlib.RepresentationTheory), 0),
((Mathlib.AlgebraicTopology, Mathlib.RingTheory), 87),
((Mathlib.AlgebraicTopology, Mathlib.SetTheory), 0),
((Mathlib.AlgebraicTopology, Mathlib.Std), 0),
((Mathlib.AlgebraicTopology, Mathlib.Tactic), 10655),
((Mathlib.AlgebraicTopology, Mathlib.Testing), 0),
((Mathlib.AlgebraicTopology, Mathlib.Topology), 937),
((Mathlib.AlgebraicTopology, Mathlib.Util), 1143),
((Mathlib.Analysis, Mathlib), 0),
((Mathlib.Analysis, Mathlib.Algebra), 223666),
((Mathlib.Analysis, Mathlib.AlgebraicGeometry), 0),
((Mathlib.Analysis, Mathlib.AlgebraicTopology), 0),
((Mathlib.Analysis, Mathlib.Analysis), 37996),
((Mathlib.Analysis, Mathlib.CategoryTheory), 480),
((Mathlib.Analysis, Mathlib.Combinatorics), 448),
((Mathlib.Analysis, Mathlib.Computability), 0),
((Mathlib.Analysis, Mathlib.Condensed), 0),
((Mathlib.Analysis, Mathlib.Control), 4412),
((Mathlib.Analysis, Mathlib.Data), 167656),
((Mathlib.Analysis, Mathlib.Deprecated), 0),
((Mathlib.Analysis, Mathlib.Dynamics), 1622),
((Mathlib.Analysis, Mathlib.FieldTheory), 718),
((Mathlib.Analysis, Mathlib.Geometry), 48),
((Mathlib.Analysis, Mathlib.GroupTheory), 17253),
((Mathlib.Analysis, Mathlib.InformationTheory), 0),
((Mathlib.Analysis, Mathlib.Init), 535),
((Mathlib.Analysis, Mathlib.Lean), 9519),
((Mathlib.Analysis, Mathlib.LinearAlgebra), 26641),
((Mathlib.Analysis, Mathlib.Logic), 19723),
((Mathlib.Analysis, Mathlib.MeasureTheory), 9140),
((Mathlib.Analysis, Mathlib.ModelTheory), 0),
((Mathlib.Analysis, Mathlib.NumberTheory), 651),
((Mathlib.Analysis, Mathlib.Order), 75189),
((Mathlib.Analysis, Mathlib.Probability), 170),
((Mathlib.Analysis, Mathlib.RepresentationTheory), 0),
((Mathlib.Analysis, Mathlib.RingTheory), 16871),
((Mathlib.Analysis, Mathlib.SetTheory), 4906),
((Mathlib.Analysis, Mathlib.Std), 0),
((Mathlib.Analysis, Mathlib.Tactic), 102152),
((Mathlib.Analysis, Mathlib.Testing), 0),
((Mathlib.Analysis, Mathlib.Topology), 85630),
((Mathlib.Analysis, Mathlib.Util), 9198),
((Mathlib.CategoryTheory, Mathlib), 0),
((Mathlib.CategoryTheory, Mathlib.Algebra), 39713),
((Mathlib.CategoryTheory, Mathlib.AlgebraicGeometry), 0),
((Mathlib.CategoryTheory, Mathlib.AlgebraicTopology), 32),
((Mathlib.CategoryTheory, Mathlib.Analysis), 0),
((Mathlib.CategoryTheory, Mathlib.CategoryTheory), 60463),
((Mathlib.CategoryTheory, Mathlib.Combinatorics), 3444),
((Mathlib.CategoryTheory, Mathlib.Computability), 0),
((Mathlib.CategoryTheory, Mathlib.Condensed), 0),
((Mathlib.CategoryTheory, Mathlib.Control), 2901),
((Mathlib.CategoryTheory, Mathlib.Data), 68054),
((Mathlib.CategoryTheory, Mathlib.Deprecated), 0),
((Mathlib.CategoryTheory, Mathlib.Dynamics), 92),
((Mathlib.CategoryTheory, Mathlib.FieldTheory), 17),
((Mathlib.CategoryTheory, Mathlib.Geometry), 0),
((Mathlib.CategoryTheory, Mathlib.GroupTheory), 1218),
((Mathlib.CategoryTheory, Mathlib.InformationTheory), 0),
((Mathlib.CategoryTheory, Mathlib.Init), 723),
((Mathlib.CategoryTheory, Mathlib.Lean), 8230),
((Mathlib.CategoryTheory, Mathlib.LinearAlgebra), 346),
((Mathlib.CategoryTheory, Mathlib.Logic), 17397),
((Mathlib.CategoryTheory, Mathlib.MeasureTheory), 0),
((Mathlib.CategoryTheory, Mathlib.ModelTheory), 0),
((Mathlib.CategoryTheory, Mathlib.NumberTheory), 15),
((Mathlib.CategoryTheory, Mathlib.Order), 28546),
((Mathlib.CategoryTheory, Mathlib.Probability), 0),
((Mathlib.CategoryTheory, Mathlib.RepresentationTheory), 0),
((Mathlib.CategoryTheory, Mathlib.RingTheory), 395),
((Mathlib.CategoryTheory, Mathlib.SetTheory), 433),
((Mathlib.CategoryTheory, Mathlib.Std), 0),
((Mathlib.CategoryTheory, Mathlib.Tactic), 93183),
((Mathlib.CategoryTheory, Mathlib.Testing), 0),
((Mathlib.CategoryTheory, Mathlib.Topology), 1745),
((Mathlib.CategoryTheory, Mathlib.Util), 10054),
((Mathlib.Combinatorics, Mathlib), 0),
((Mathlib.Combinatorics, Mathlib.Algebra), 16909),
((Mathlib.Combinatorics, Mathlib.AlgebraicGeometry), 0),
((Mathlib.Combinatorics, Mathlib.AlgebraicTopology), 0),
((Mathlib.Combinatorics, Mathlib.Analysis), 901),
((Mathlib.Combinatorics, Mathlib.CategoryTheory), 417),
((Mathlib.Combinatorics, Mathlib.Combinatorics), 586),
((Mathlib.Combinatorics, Mathlib.Computability), 0),
((Mathlib.Combinatorics, Mathlib.Condensed), 0),
((Mathlib.Combinatorics, Mathlib.Control), 735),
((Mathlib.Combinatorics, Mathlib.Data), 21094),
((Mathlib.Combinatorics, Mathlib.Deprecated), 0),
((Mathlib.Combinatorics, Mathlib.Dynamics), 67),
((Mathlib.Combinatorics, Mathlib.FieldTheory), 16),
((Mathlib.Combinatorics, Mathlib.Geometry), 0),
((Mathlib.Combinatorics, Mathlib.GroupTheory), 692),
((Mathlib.Combinatorics, Mathlib.InformationTheory), 0),
((Mathlib.Combinatorics, Mathlib.Init), 118),
((Mathlib.Combinatorics, Mathlib.Lean), 1438),
((Mathlib.Combinatorics, Mathlib.LinearAlgebra), 763),
((Mathlib.Combinatorics, Mathlib.Logic), 2931),
((Mathlib.Combinatorics, Mathlib.MeasureTheory), 0),
((Mathlib.Combinatorics, Mathlib.ModelTheory), 0),
((Mathlib.Combinatorics, Mathlib.NumberTheory), 30),
((Mathlib.Combinatorics, Mathlib.Order), 7564),
((Mathlib.Combinatorics, Mathlib.Probability), 0),
((Mathlib.Combinatorics, Mathlib.RepresentationTheory), 0),
((Mathlib.Combinatorics, Mathlib.RingTheory), 592),
((Mathlib.Combinatorics, Mathlib.SetTheory), 214),
((Mathlib.Combinatorics, Mathlib.Std), 0),
((Mathlib.Combinatorics, Mathlib.Tactic), 15659),
((Mathlib.Combinatorics, Mathlib.Testing), 0),
((Mathlib.Combinatorics, Mathlib.Topology), 2145),
((Mathlib.Combinatorics, Mathlib.Util), 1574),
((Mathlib.Computability, Mathlib), 0),
((Mathlib.Computability, Mathlib.Algebra), 2797),
((Mathlib.Computability, Mathlib.AlgebraicGeometry), 0),
((Mathlib.Computability, Mathlib.AlgebraicTopology), 0),
((Mathlib.Computability, Mathlib.Analysis), 188),
((Mathlib.Computability, Mathlib.CategoryTheory), 0),
((Mathlib.Computability, Mathlib.Combinatorics), 1),
((Mathlib.Computability, Mathlib.Computability), 43),
((Mathlib.Computability, Mathlib.Condensed), 0),
((Mathlib.Computability, Mathlib.Control), 143),
((Mathlib.Computability, Mathlib.Data), 3653),
((Mathlib.Computability, Mathlib.Deprecated), 0),
((Mathlib.Computability, Mathlib.Dynamics), 8),
((Mathlib.Computability, Mathlib.FieldTheory), 0),
((Mathlib.Computability, Mathlib.Geometry), 0),
((Mathlib.Computability, Mathlib.GroupTheory), 66),
((Mathlib.Computability, Mathlib.InformationTheory), 0),
((Mathlib.Computability, Mathlib.Init), 22),
((Mathlib.Computability, Mathlib.Lean), 278),
((Mathlib.Computability, Mathlib.LinearAlgebra), 84),
((Mathlib.Computability, Mathlib.Logic), 582),
((Mathlib.Computability, Mathlib.MeasureTheory), 0),
((Mathlib.Computability, Mathlib.ModelTheory), 0),
((Mathlib.Computability, Mathlib.NumberTheory), 4),
((Mathlib.Computability, Mathlib.Order), 1246),
((Mathlib.Computability, Mathlib.Probability), 0),
((Mathlib.Computability, Mathlib.RepresentationTheory), 0),
((Mathlib.Computability, Mathlib.RingTheory), 60),
((Mathlib.Computability, Mathlib.SetTheory), 14),
((Mathlib.Computability, Mathlib.Std), 0),
((Mathlib.Computability, Mathlib.Tactic), 3014),
((Mathlib.Computability, Mathlib.Testing), 0),
((Mathlib.Computability, Mathlib.Topology), 357),
((Mathlib.Computability, Mathlib.Util), 301),
((Mathlib.Condensed, Mathlib), 0),
((Mathlib.Condensed, Mathlib.Algebra), 10521),
((Mathlib.Condensed, Mathlib.AlgebraicGeometry), 0),
((Mathlib.Condensed, Mathlib.AlgebraicTopology), 0),
((Mathlib.Condensed, Mathlib.Analysis), 567),
((Mathlib.Condensed, Mathlib.CategoryTheory), 6262),
((Mathlib.Condensed, Mathlib.Combinatorics), 135),
((Mathlib.Condensed, Mathlib.Computability), 0),
((Mathlib.Condensed, Mathlib.Condensed), 73),
((Mathlib.Condensed, Mathlib.Control), 216),
((Mathlib.Condensed, Mathlib.Data), 7813),
((Mathlib.Condensed, Mathlib.Deprecated), 0),
((Mathlib.Condensed, Mathlib.Dynamics), 81),
((Mathlib.Condensed, Mathlib.FieldTheory), 0),
((Mathlib.Condensed, Mathlib.Geometry), 0),
((Mathlib.Condensed, Mathlib.GroupTheory), 729),
((Mathlib.Condensed, Mathlib.InformationTheory), 0),
((Mathlib.Condensed, Mathlib.Init), 27),
((Mathlib.Condensed, Mathlib.Lean), 486),
((Mathlib.Condensed, Mathlib.LinearAlgebra), 765),
((Mathlib.Condensed, Mathlib.Logic), 989),
((Mathlib.Condensed, Mathlib.MeasureTheory), 0),
((Mathlib.Condensed, Mathlib.ModelTheory), 0),
((Mathlib.Condensed, Mathlib.NumberTheory), 27),
((Mathlib.Condensed, Mathlib.Order), 3794),
((Mathlib.Condensed, Mathlib.Probability), 0),
((Mathlib.Condensed, Mathlib.RepresentationTheory), 0),
((Mathlib.Condensed, Mathlib.RingTheory), 324),
((Mathlib.Condensed, Mathlib.SetTheory), 135),
((Mathlib.Condensed, Mathlib.Std), 0),
((Mathlib.Condensed, Mathlib.Tactic), 5272),
((Mathlib.Condensed, Mathlib.Testing), 0),
((Mathlib.Condensed, Mathlib.Topology), 4785),
((Mathlib.Condensed, Mathlib.Util), 486),
((Mathlib.Control, Mathlib), 0),
((Mathlib.Control, Mathlib.Algebra), 210),
((Mathlib.Control, Mathlib.AlgebraicGeometry), 0),
((Mathlib.Control, Mathlib.AlgebraicTopology), 0),
((Mathlib.Control, Mathlib.Analysis), 0),
((Mathlib.Control, Mathlib.CategoryTheory), 24),
((Mathlib.Control, Mathlib.Combinatorics), 5),
((Mathlib.Control, Mathlib.Computability), 0),
((Mathlib.Control, Mathlib.Condensed), 0),
((Mathlib.Control, Mathlib.Control), 89),
((Mathlib.Control, Mathlib.Data), 528),
((Mathlib.Control, Mathlib.Deprecated), 0),
((Mathlib.Control, Mathlib.Dynamics), 1),
((Mathlib.Control, Mathlib.FieldTheory), 0),
((Mathlib.Control, Mathlib.Geometry), 0),
((Mathlib.Control, Mathlib.GroupTheory), 0),
((Mathlib.Control, Mathlib.InformationTheory), 0),
((Mathlib.Control, Mathlib.Init), 25),
((Mathlib.Control, Mathlib.Lean), 162),
((Mathlib.Control, Mathlib.LinearAlgebra), 0),
((Mathlib.Control, Mathlib.Logic), 252),
((Mathlib.Control, Mathlib.MeasureTheory), 0),
((Mathlib.Control, Mathlib.ModelTheory), 0),
((Mathlib.Control, Mathlib.NumberTheory), 0),
((Mathlib.Control, Mathlib.Order), 263),
((Mathlib.Control, Mathlib.Probability), 0),
((Mathlib.Control, Mathlib.RepresentationTheory), 0),
((Mathlib.Control, Mathlib.RingTheory), 0),
((Mathlib.Control, Mathlib.SetTheory), 0),
((Mathlib.Control, Mathlib.Std), 0),
((Mathlib.Control, Mathlib.Tactic), 1735),
((Mathlib.Control, Mathlib.Testing), 0),
((Mathlib.Control, Mathlib.Topology), 0),
((Mathlib.Control, Mathlib.Util), 166),
((Mathlib.Data, Mathlib), 0),
((Mathlib.Data, Mathlib.Algebra), 43296),
((Mathlib.Data, Mathlib.AlgebraicGeometry), 0),
((Mathlib.Data, Mathlib.AlgebraicTopology), 0),
((Mathlib.Data, Mathlib.Analysis), 843),
((Mathlib.Data, Mathlib.CategoryTheory), 23),
((Mathlib.Data, Mathlib.Combinatorics), 25),
((Mathlib.Data, Mathlib.Computability), 0),
((Mathlib.Data, Mathlib.Condensed), 0),
((Mathlib.Data, Mathlib.Control), 2485),
((Mathlib.Data, Mathlib.Data), 58734),
((Mathlib.Data, Mathlib.Deprecated), 0),
((Mathlib.Data, Mathlib.Dynamics), 137),
((Mathlib.Data, Mathlib.FieldTheory), 9),
((Mathlib.Data, Mathlib.Geometry), 0),
((Mathlib.Data, Mathlib.GroupTheory), 1201),
((Mathlib.Data, Mathlib.InformationTheory), 0),
((Mathlib.Data, Mathlib.Init), 634),
((Mathlib.Data, Mathlib.Lean), 6310),
((Mathlib.Data, Mathlib.LinearAlgebra), 1011),
((Mathlib.Data, Mathlib.Logic), 12131),
((Mathlib.Data, Mathlib.MeasureTheory), 279),
((Mathlib.Data, Mathlib.ModelTheory), 0),
((Mathlib.Data, Mathlib.NumberTheory), 39),
((Mathlib.Data, Mathlib.Order), 23311),
((Mathlib.Data, Mathlib.Probability), 6),
((Mathlib.Data, Mathlib.RepresentationTheory), 0),
((Mathlib.Data, Mathlib.RingTheory), 830),
((Mathlib.Data, Mathlib.SetTheory), 503),
((Mathlib.Data, Mathlib.Std), 0),
((Mathlib.Data, Mathlib.Tactic), 69948),
((Mathlib.Data, Mathlib.Testing), 0),
((Mathlib.Data, Mathlib.Topology), 2564),
((Mathlib.Data, Mathlib.Util), 7194),
((Mathlib.Deprecated, Mathlib), 0),
((Mathlib.Deprecated, Mathlib.Algebra), 466),
((Mathlib.Deprecated, Mathlib.AlgebraicGeometry), 0),
((Mathlib.Deprecated, Mathlib.AlgebraicTopology), 0),
((Mathlib.Deprecated, Mathlib.Analysis), 0),
((Mathlib.Deprecated, Mathlib.CategoryTheory), 0),
((Mathlib.Deprecated, Mathlib.Combinatorics), 0),
((Mathlib.Deprecated, Mathlib.Computability), 0),
((Mathlib.Deprecated, Mathlib.Condensed), 0),
((Mathlib.Deprecated, Mathlib.Control), 24),
((Mathlib.Deprecated, Mathlib.Data), 650),
((Mathlib.Deprecated, Mathlib.Deprecated), 4),
((Mathlib.Deprecated, Mathlib.Dynamics), 3),
((Mathlib.Deprecated, Mathlib.FieldTheory), 0),
((Mathlib.Deprecated, Mathlib.Geometry), 0),
((Mathlib.Deprecated, Mathlib.GroupTheory), 0),
((Mathlib.Deprecated, Mathlib.InformationTheory), 0),
((Mathlib.Deprecated, Mathlib.Init), 9),
((Mathlib.Deprecated, Mathlib.Lean), 51),
((Mathlib.Deprecated, Mathlib.LinearAlgebra), 0),
((Mathlib.Deprecated, Mathlib.Logic), 123),
((Mathlib.Deprecated, Mathlib.MeasureTheory), 0),
((Mathlib.Deprecated, Mathlib.ModelTheory), 0),
((Mathlib.Deprecated, Mathlib.NumberTheory), 0),
((Mathlib.Deprecated, Mathlib.Order), 259),
((Mathlib.Deprecated, Mathlib.Probability), 0),
((Mathlib.Deprecated, Mathlib.RepresentationTheory), 0),
((Mathlib.Deprecated, Mathlib.RingTheory), 0),
((Mathlib.Deprecated, Mathlib.SetTheory), 23),
((Mathlib.Deprecated, Mathlib.Std), 0),
((Mathlib.Deprecated, Mathlib.Tactic), 559),
((Mathlib.Deprecated, Mathlib.Testing), 0),
((Mathlib.Deprecated, Mathlib.Topology), 0),
((Mathlib.Deprecated, Mathlib.Util), 51),
((Mathlib.Dynamics, Mathlib), 0),
((Mathlib.Dynamics, Mathlib.Algebra), 6639),
((Mathlib.Dynamics, Mathlib.AlgebraicGeometry), 0),
((Mathlib.Dynamics, Mathlib.AlgebraicTopology), 0),
((Mathlib.Dynamics, Mathlib.Analysis), 397),
((Mathlib.Dynamics, Mathlib.CategoryTheory), 0),
((Mathlib.Dynamics, Mathlib.Combinatorics), 5),
((Mathlib.Dynamics, Mathlib.Computability), 0),
((Mathlib.Dynamics, Mathlib.Condensed), 0),
((Mathlib.Dynamics, Mathlib.Control), 171),
((Mathlib.Dynamics, Mathlib.Data), 5775),
((Mathlib.Dynamics, Mathlib.Deprecated), 0),
((Mathlib.Dynamics, Mathlib.Dynamics), 71),
((Mathlib.Dynamics, Mathlib.FieldTheory), 2),
((Mathlib.Dynamics, Mathlib.Geometry), 0),
((Mathlib.Dynamics, Mathlib.GroupTheory), 428),
((Mathlib.Dynamics, Mathlib.InformationTheory), 0),
((Mathlib.Dynamics, Mathlib.Init), 25),
((Mathlib.Dynamics, Mathlib.Lean), 399),
((Mathlib.Dynamics, Mathlib.LinearAlgebra), 434),
((Mathlib.Dynamics, Mathlib.Logic), 753),
((Mathlib.Dynamics, Mathlib.MeasureTheory), 422),
((Mathlib.Dynamics, Mathlib.ModelTheory), 0),
((Mathlib.Dynamics, Mathlib.NumberTheory), 13),
((Mathlib.Dynamics, Mathlib.Order), 2669),
((Mathlib.Dynamics, Mathlib.Probability), 4),
((Mathlib.Dynamics, Mathlib.RepresentationTheory), 0),
((Mathlib.Dynamics, Mathlib.RingTheory), 331),
((Mathlib.Dynamics, Mathlib.SetTheory), 98),
((Mathlib.Dynamics, Mathlib.Std), 0),
((Mathlib.Dynamics, Mathlib.Tactic), 4145),
((Mathlib.Dynamics, Mathlib.Testing), 0),
((Mathlib.Dynamics, Mathlib.Topology), 2130),
((Mathlib.Dynamics, Mathlib.Util), 392),
((Mathlib.FieldTheory, Mathlib), 0),
((Mathlib.FieldTheory, Mathlib.Algebra), 29231),
((Mathlib.FieldTheory, Mathlib.AlgebraicGeometry), 0),
((Mathlib.FieldTheory, Mathlib.AlgebraicTopology), 0),
((Mathlib.FieldTheory, Mathlib.Analysis), 21),
((Mathlib.FieldTheory, Mathlib.CategoryTheory), 196),
((Mathlib.FieldTheory, Mathlib.Combinatorics), 128),
((Mathlib.FieldTheory, Mathlib.Computability), 1),
((Mathlib.FieldTheory, Mathlib.Condensed), 0),
((Mathlib.FieldTheory, Mathlib.Control), 538),
((Mathlib.FieldTheory, Mathlib.Data), 20588),
((Mathlib.FieldTheory, Mathlib.Deprecated), 0),
((Mathlib.FieldTheory, Mathlib.Dynamics), 185),
((Mathlib.FieldTheory, Mathlib.FieldTheory), 1035),
((Mathlib.FieldTheory, Mathlib.Geometry), 0),
((Mathlib.FieldTheory, Mathlib.GroupTheory), 3031),
((Mathlib.FieldTheory, Mathlib.InformationTheory), 0),
((Mathlib.FieldTheory, Mathlib.Init), 67),
((Mathlib.FieldTheory, Mathlib.Lean), 911),
((Mathlib.FieldTheory, Mathlib.LinearAlgebra), 4647),
((Mathlib.FieldTheory, Mathlib.Logic), 2432),
((Mathlib.FieldTheory, Mathlib.MeasureTheory), 0),
((Mathlib.FieldTheory, Mathlib.ModelTheory), 20),
((Mathlib.FieldTheory, Mathlib.NumberTheory), 96),
((Mathlib.FieldTheory, Mathlib.Order), 7209),
((Mathlib.FieldTheory, Mathlib.Probability), 0),
((Mathlib.FieldTheory, Mathlib.RepresentationTheory), 0),
((Mathlib.FieldTheory, Mathlib.RingTheory), 6394),
((Mathlib.FieldTheory, Mathlib.SetTheory), 1186),
((Mathlib.FieldTheory, Mathlib.Std), 0),
((Mathlib.FieldTheory, Mathlib.Tactic), 11957),
((Mathlib.FieldTheory, Mathlib.Testing), 0),
((Mathlib.FieldTheory, Mathlib.Topology), 699),
((Mathlib.FieldTheory, Mathlib.Util), 1133),
((Mathlib.Geometry, Mathlib), 0),
((Mathlib.Geometry, Mathlib.Algebra), 37066),
((Mathlib.Geometry, Mathlib.AlgebraicGeometry), 0),
((Mathlib.Geometry, Mathlib.AlgebraicTopology), 5),
((Mathlib.Geometry, Mathlib.Analysis), 7605),
((Mathlib.Geometry, Mathlib.CategoryTheory), 2529),
((Mathlib.Geometry, Mathlib.Combinatorics), 200),
((Mathlib.Geometry, Mathlib.Computability), 0),
((Mathlib.Geometry, Mathlib.Condensed), 0),
((Mathlib.Geometry, Mathlib.Control), 757),
((Mathlib.Geometry, Mathlib.Data), 27927),
((Mathlib.Geometry, Mathlib.Deprecated), 0),
((Mathlib.Geometry, Mathlib.Dynamics), 238),
((Mathlib.Geometry, Mathlib.FieldTheory), 69),
((Mathlib.Geometry, Mathlib.Geometry), 731),
((Mathlib.Geometry, Mathlib.GroupTheory), 3364),
((Mathlib.Geometry, Mathlib.InformationTheory), 0),
((Mathlib.Geometry, Mathlib.Init), 88),
((Mathlib.Geometry, Mathlib.Lean), 1565),
((Mathlib.Geometry, Mathlib.LinearAlgebra), 5778),
((Mathlib.Geometry, Mathlib.Logic), 3457),
((Mathlib.Geometry, Mathlib.MeasureTheory), 580),
((Mathlib.Geometry, Mathlib.ModelTheory), 0),
((Mathlib.Geometry, Mathlib.NumberTheory), 92),
((Mathlib.Geometry, Mathlib.Order), 12504),
((Mathlib.Geometry, Mathlib.Probability), 12),
((Mathlib.Geometry, Mathlib.RepresentationTheory), 0),
((Mathlib.Geometry, Mathlib.RingTheory), 3846),
((Mathlib.Geometry, Mathlib.SetTheory), 1315),
((Mathlib.Geometry, Mathlib.Std), 0),
((Mathlib.Geometry, Mathlib.Tactic), 16829),
((Mathlib.Geometry, Mathlib.Testing), 0),
((Mathlib.Geometry, Mathlib.Topology), 14497),
((Mathlib.Geometry, Mathlib.Util), 1501),
((Mathlib.GroupTheory, Mathlib), 0),
((Mathlib.GroupTheory, Mathlib.Algebra), 19414),
((Mathlib.GroupTheory, Mathlib.AlgebraicGeometry), 0),
((Mathlib.GroupTheory, Mathlib.AlgebraicTopology), 0),
((Mathlib.GroupTheory, Mathlib.Analysis), 0),
((Mathlib.GroupTheory, Mathlib.CategoryTheory), 381),
((Mathlib.GroupTheory, Mathlib.Combinatorics), 60),
((Mathlib.GroupTheory, Mathlib.Computability), 0),
((Mathlib.GroupTheory, Mathlib.Condensed), 0),
((Mathlib.GroupTheory, Mathlib.Control), 746),
((Mathlib.GroupTheory, Mathlib.Data), 20458),
((Mathlib.GroupTheory, Mathlib.Deprecated), 0),
((Mathlib.GroupTheory, Mathlib.Dynamics), 163),
((Mathlib.GroupTheory, Mathlib.FieldTheory), 10),
((Mathlib.GroupTheory, Mathlib.Geometry), 0),
((Mathlib.GroupTheory, Mathlib.GroupTheory), 1839),
((Mathlib.GroupTheory, Mathlib.InformationTheory), 0),
((Mathlib.GroupTheory, Mathlib.Init), 128),
((Mathlib.GroupTheory, Mathlib.Lean), 1508),
((Mathlib.GroupTheory, Mathlib.LinearAlgebra), 277),
((Mathlib.GroupTheory, Mathlib.Logic), 3469),
((Mathlib.GroupTheory, Mathlib.MeasureTheory), 0),
((Mathlib.GroupTheory, Mathlib.ModelTheory), 0),
((Mathlib.GroupTheory, Mathlib.NumberTheory), 55),
((Mathlib.GroupTheory, Mathlib.Order), 7887),
((Mathlib.GroupTheory, Mathlib.Probability), 0),
((Mathlib.GroupTheory, Mathlib.RepresentationTheory), 0),
((Mathlib.GroupTheory, Mathlib.RingTheory), 403),
((Mathlib.GroupTheory, Mathlib.SetTheory), 389),
((Mathlib.GroupTheory, Mathlib.Std), 0),
((Mathlib.GroupTheory, Mathlib.Tactic), 16465),
((Mathlib.GroupTheory, Mathlib.Testing), 0),
((Mathlib.GroupTheory, Mathlib.Topology), 0),
((Mathlib.GroupTheory, Mathlib.Util), 1738),
((Mathlib.InformationTheory, Mathlib), 0),
((Mathlib.InformationTheory, Mathlib.Algebra), 1219),
((Mathlib.InformationTheory, Mathlib.AlgebraicGeometry), 0),
((Mathlib.InformationTheory, Mathlib.AlgebraicTopology), 0),
((Mathlib.InformationTheory, Mathlib.Analysis), 331),
((Mathlib.InformationTheory, Mathlib.CategoryTheory), 0),
((Mathlib.InformationTheory, Mathlib.Combinatorics), 4),
((Mathlib.InformationTheory, Mathlib.Computability), 0),
((Mathlib.InformationTheory, Mathlib.Condensed), 0),
((Mathlib.InformationTheory, Mathlib.Control), 25),
((Mathlib.InformationTheory, Mathlib.Data), 960),
((Mathlib.InformationTheory, Mathlib.Deprecated), 0),
((Mathlib.InformationTheory, Mathlib.Dynamics), 8),
((Mathlib.InformationTheory, Mathlib.FieldTheory), 2),
((Mathlib.InformationTheory, Mathlib.Geometry), 0),
((Mathlib.InformationTheory, Mathlib.GroupTheory), 96),
((Mathlib.InformationTheory, Mathlib.InformationTheory), 1),
((Mathlib.InformationTheory, Mathlib.Init), 3),
((Mathlib.InformationTheory, Mathlib.Lean), 54),
((Mathlib.InformationTheory, Mathlib.LinearAlgebra), 171),
((Mathlib.InformationTheory, Mathlib.Logic), 111),
((Mathlib.InformationTheory, Mathlib.MeasureTheory), 172),
((Mathlib.InformationTheory, Mathlib.ModelTheory), 0),
((Mathlib.InformationTheory, Mathlib.NumberTheory), 4),
((Mathlib.InformationTheory, Mathlib.Order), 429),
((Mathlib.InformationTheory, Mathlib.Probability), 4),
((Mathlib.InformationTheory, Mathlib.RepresentationTheory), 0),
((Mathlib.InformationTheory, Mathlib.RingTheory), 106),
((Mathlib.InformationTheory, Mathlib.SetTheory), 38),
((Mathlib.InformationTheory, Mathlib.Std), 0),
((Mathlib.InformationTheory, Mathlib.Tactic), 587),
((Mathlib.InformationTheory, Mathlib.Testing), 0),
((Mathlib.InformationTheory, Mathlib.Topology), 495),
((Mathlib.InformationTheory, Mathlib.Util), 51),
((Mathlib.Init, Mathlib), 0),
((Mathlib.Init, Mathlib.Algebra), 0),
((Mathlib.Init, Mathlib.AlgebraicGeometry), 0),
((Mathlib.Init, Mathlib.AlgebraicTopology), 0),
((Mathlib.Init, Mathlib.Analysis), 0),
((Mathlib.Init, Mathlib.CategoryTheory), 0),
((Mathlib.Init, Mathlib.Combinatorics), 0),
((Mathlib.Init, Mathlib.Computability), 0),
((Mathlib.Init, Mathlib.Condensed), 0),
((Mathlib.Init, Mathlib.Control), 0),
((Mathlib.Init, Mathlib.Data), 0),
((Mathlib.Init, Mathlib.Deprecated), 0),
((Mathlib.Init, Mathlib.Dynamics), 0),
((Mathlib.Init, Mathlib.FieldTheory), 0),
((Mathlib.Init, Mathlib.Geometry), 0),
((Mathlib.Init, Mathlib.GroupTheory), 0),
((Mathlib.Init, Mathlib.InformationTheory), 0),
((Mathlib.Init, Mathlib.Init), 0),
((Mathlib.Init, Mathlib.Lean), 0),
((Mathlib.Init, Mathlib.LinearAlgebra), 0),
((Mathlib.Init, Mathlib.Logic), 0),
((Mathlib.Init, Mathlib.MeasureTheory), 0),
((Mathlib.Init, Mathlib.ModelTheory), 0),
((Mathlib.Init, Mathlib.NumberTheory), 0),
((Mathlib.Init, Mathlib.Order), 0),
((Mathlib.Init, Mathlib.Probability), 0),
((Mathlib.Init, Mathlib.RepresentationTheory), 0),
((Mathlib.Init, Mathlib.RingTheory), 0),
((Mathlib.Init, Mathlib.SetTheory), 0),
((Mathlib.Init, Mathlib.Std), 0),
((Mathlib.Init, Mathlib.Tactic), 13),
((Mathlib.Init, Mathlib.Testing), 0),
((Mathlib.Init, Mathlib.Topology), 0),
((Mathlib.Init, Mathlib.Util), 0),
((Mathlib.Lean, Mathlib), 0),
((Mathlib.Lean, Mathlib.Algebra), 8),
((Mathlib.Lean, Mathlib.AlgebraicGeometry), 0),
((Mathlib.Lean, Mathlib.AlgebraicTopology), 0),
((Mathlib.Lean, Mathlib.Analysis), 0),
((Mathlib.Lean, Mathlib.CategoryTheory), 0),
((Mathlib.Lean, Mathlib.Combinatorics), 0),
((Mathlib.Lean, Mathlib.Computability), 0),
((Mathlib.Lean, Mathlib.Condensed), 0),
((Mathlib.Lean, Mathlib.Control), 0),
((Mathlib.Lean, Mathlib.Data), 22),
((Mathlib.Lean, Mathlib.Deprecated), 0),
((Mathlib.Lean, Mathlib.Dynamics), 0),
((Mathlib.Lean, Mathlib.FieldTheory), 0),
((Mathlib.Lean, Mathlib.Geometry), 0),
((Mathlib.Lean, Mathlib.GroupTheory), 0),
((Mathlib.Lean, Mathlib.InformationTheory), 0),
((Mathlib.Lean, Mathlib.Init), 28),
((Mathlib.Lean, Mathlib.Lean), 33),
((Mathlib.Lean, Mathlib.LinearAlgebra), 0),
((Mathlib.Lean, Mathlib.Logic), 14),
((Mathlib.Lean, Mathlib.MeasureTheory), 0),
((Mathlib.Lean, Mathlib.ModelTheory), 0),
((Mathlib.Lean, Mathlib.NumberTheory), 0),
((Mathlib.Lean, Mathlib.Order), 3),
((Mathlib.Lean, Mathlib.Probability), 0),
((Mathlib.Lean, Mathlib.RepresentationTheory), 0),
((Mathlib.Lean, Mathlib.RingTheory), 0),
((Mathlib.Lean, Mathlib.SetTheory), 0),
((Mathlib.Lean, Mathlib.Std), 0),
((Mathlib.Lean, Mathlib.Tactic), 422),
((Mathlib.Lean, Mathlib.Testing), 0),
((Mathlib.Lean, Mathlib.Topology), 0),
((Mathlib.Lean, Mathlib.Util), 17),
((Mathlib.LinearAlgebra, Mathlib), 0),
((Mathlib.LinearAlgebra, Mathlib.Algebra), 89610),
((Mathlib.LinearAlgebra, Mathlib.AlgebraicGeometry), 0),
((Mathlib.LinearAlgebra, Mathlib.AlgebraicTopology), 0),
((Mathlib.LinearAlgebra, Mathlib.Analysis), 930),
((Mathlib.LinearAlgebra, Mathlib.CategoryTheory), 517),
((Mathlib.LinearAlgebra, Mathlib.Combinatorics), 262),
((Mathlib.LinearAlgebra, Mathlib.Computability), 0),
((Mathlib.LinearAlgebra, Mathlib.Condensed), 0),
((Mathlib.LinearAlgebra, Mathlib.Control), 2044),
((Mathlib.LinearAlgebra, Mathlib.Data), 68952),
((Mathlib.LinearAlgebra, Mathlib.Deprecated), 0),
((Mathlib.LinearAlgebra, Mathlib.Dynamics), 499),
((Mathlib.LinearAlgebra, Mathlib.FieldTheory), 214),
((Mathlib.LinearAlgebra, Mathlib.Geometry), 0),
((Mathlib.LinearAlgebra, Mathlib.GroupTheory), 7276),
((Mathlib.LinearAlgebra, Mathlib.InformationTheory), 0),
((Mathlib.LinearAlgebra, Mathlib.Init), 264),
((Mathlib.LinearAlgebra, Mathlib.Lean), 3445),
((Mathlib.LinearAlgebra, Mathlib.LinearAlgebra), 10379),
((Mathlib.LinearAlgebra, Mathlib.Logic), 8743),
((Mathlib.LinearAlgebra, Mathlib.MeasureTheory), 0),
((Mathlib.LinearAlgebra, Mathlib.ModelTheory), 0),
((Mathlib.LinearAlgebra, Mathlib.NumberTheory), 196),
((Mathlib.LinearAlgebra, Mathlib.Order), 25061),
((Mathlib.LinearAlgebra, Mathlib.Probability), 0),
((Mathlib.LinearAlgebra, Mathlib.RepresentationTheory), 3),
((Mathlib.LinearAlgebra, Mathlib.RingTheory), 8345),
((Mathlib.LinearAlgebra, Mathlib.SetTheory), 2853),
((Mathlib.LinearAlgebra, Mathlib.Std), 0),
((Mathlib.LinearAlgebra, Mathlib.Tactic), 42538),
((Mathlib.LinearAlgebra, Mathlib.Testing), 0),
((Mathlib.LinearAlgebra, Mathlib.Topology), 1707),
((Mathlib.LinearAlgebra, Mathlib.Util), 4158),
((Mathlib.Logic, Mathlib), 0),
((Mathlib.Logic, Mathlib.Algebra), 334),
((Mathlib.Logic, Mathlib.AlgebraicGeometry), 0),
((Mathlib.Logic, Mathlib.AlgebraicTopology), 0),
((Mathlib.Logic, Mathlib.Analysis), 0),
((Mathlib.Logic, Mathlib.CategoryTheory), 0),
((Mathlib.Logic, Mathlib.Combinatorics), 0),
((Mathlib.Logic, Mathlib.Computability), 0),
((Mathlib.Logic, Mathlib.Condensed), 0),
((Mathlib.Logic, Mathlib.Control), 79),
((Mathlib.Logic, Mathlib.Data), 1675),
((Mathlib.Logic, Mathlib.Deprecated), 0),
((Mathlib.Logic, Mathlib.Dynamics), 0),
((Mathlib.Logic, Mathlib.FieldTheory), 0),
((Mathlib.Logic, Mathlib.Geometry), 0),
((Mathlib.Logic, Mathlib.GroupTheory), 1),
((Mathlib.Logic, Mathlib.InformationTheory), 0),
((Mathlib.Logic, Mathlib.Init), 50),
((Mathlib.Logic, Mathlib.Lean), 318),
((Mathlib.Logic, Mathlib.LinearAlgebra), 0),
((Mathlib.Logic, Mathlib.Logic), 627),
((Mathlib.Logic, Mathlib.MeasureTheory), 0),
((Mathlib.Logic, Mathlib.ModelTheory), 0),
((Mathlib.Logic, Mathlib.NumberTheory), 0),
((Mathlib.Logic, Mathlib.Order), 772),
((Mathlib.Logic, Mathlib.Probability), 0),
((Mathlib.Logic, Mathlib.RepresentationTheory), 0),
((Mathlib.Logic, Mathlib.RingTheory), 0),
((Mathlib.Logic, Mathlib.SetTheory), 0),
((Mathlib.Logic, Mathlib.Std), 0),
((Mathlib.Logic, Mathlib.Tactic), 3010),
((Mathlib.Logic, Mathlib.Testing), 0),
((Mathlib.Logic, Mathlib.Topology), 0),
((Mathlib.Logic, Mathlib.Util), 303),
((Mathlib.MeasureTheory, Mathlib), 0),
((Mathlib.MeasureTheory, Mathlib.Algebra), 86711),
((Mathlib.MeasureTheory, Mathlib.AlgebraicGeometry), 0),
((Mathlib.MeasureTheory, Mathlib.AlgebraicTopology), 0),
((Mathlib.MeasureTheory, Mathlib.Analysis), 10880),
((Mathlib.MeasureTheory, Mathlib.CategoryTheory), 41),
((Mathlib.MeasureTheory, Mathlib.Combinatorics), 193),
((Mathlib.MeasureTheory, Mathlib.Computability), 0),
((Mathlib.MeasureTheory, Mathlib.Condensed), 0),
((Mathlib.MeasureTheory, Mathlib.Control), 1807),
((Mathlib.MeasureTheory, Mathlib.Data), 67464),
((Mathlib.MeasureTheory, Mathlib.Deprecated), 0),
((Mathlib.MeasureTheory, Mathlib.Dynamics), 714),
((Mathlib.MeasureTheory, Mathlib.FieldTheory), 94),
((Mathlib.MeasureTheory, Mathlib.Geometry), 0),
((Mathlib.MeasureTheory, Mathlib.GroupTheory), 7159),
((Mathlib.MeasureTheory, Mathlib.InformationTheory), 0),
((Mathlib.MeasureTheory, Mathlib.Init), 218),
((Mathlib.MeasureTheory, Mathlib.Lean), 3906),
((Mathlib.MeasureTheory, Mathlib.LinearAlgebra), 9877),
((Mathlib.MeasureTheory, Mathlib.Logic), 7966),
((Mathlib.MeasureTheory, Mathlib.MeasureTheory), 10682),
((Mathlib.MeasureTheory, Mathlib.ModelTheory), 0),
((Mathlib.MeasureTheory, Mathlib.NumberTheory), 241),
((Mathlib.MeasureTheory, Mathlib.Order), 31172),
((Mathlib.MeasureTheory, Mathlib.Probability), 187),
((Mathlib.MeasureTheory, Mathlib.RepresentationTheory), 0),
((Mathlib.MeasureTheory, Mathlib.RingTheory), 6421),
((Mathlib.MeasureTheory, Mathlib.SetTheory), 2310),
((Mathlib.MeasureTheory, Mathlib.Std), 0),
((Mathlib.MeasureTheory, Mathlib.Tactic), 41000),
((Mathlib.MeasureTheory, Mathlib.Testing), 0),
((Mathlib.MeasureTheory, Mathlib.Topology), 33588),
((Mathlib.MeasureTheory, Mathlib.Util), 3675),
((Mathlib.ModelTheory, Mathlib), 0),
((Mathlib.ModelTheory, Mathlib.Algebra), 4800),
((Mathlib.ModelTheory, Mathlib.AlgebraicGeometry), 0),
((Mathlib.ModelTheory, Mathlib.AlgebraicTopology), 0),
((Mathlib.ModelTheory, Mathlib.Analysis), 0),
((Mathlib.ModelTheory, Mathlib.CategoryTheory), 9),
((Mathlib.ModelTheory, Mathlib.Combinatorics), 6),
((Mathlib.ModelTheory, Mathlib.Computability), 17),
((Mathlib.ModelTheory, Mathlib.Condensed), 0),
((Mathlib.ModelTheory, Mathlib.Control), 236),
((Mathlib.ModelTheory, Mathlib.Data), 6026),
((Mathlib.ModelTheory, Mathlib.Deprecated), 0),
((Mathlib.ModelTheory, Mathlib.Dynamics), 33),
((Mathlib.ModelTheory, Mathlib.FieldTheory), 35),
((Mathlib.ModelTheory, Mathlib.Geometry), 0),
((Mathlib.ModelTheory, Mathlib.GroupTheory), 149),
((Mathlib.ModelTheory, Mathlib.InformationTheory), 0),
((Mathlib.ModelTheory, Mathlib.Init), 29),
((Mathlib.ModelTheory, Mathlib.Lean), 354),
((Mathlib.ModelTheory, Mathlib.LinearAlgebra), 174),
((Mathlib.ModelTheory, Mathlib.Logic), 967),
((Mathlib.ModelTheory, Mathlib.MeasureTheory), 0),
((Mathlib.ModelTheory, Mathlib.ModelTheory), 221),
((Mathlib.ModelTheory, Mathlib.NumberTheory), 2),
((Mathlib.ModelTheory, Mathlib.Order), 2418),
((Mathlib.ModelTheory, Mathlib.Probability), 0),
((Mathlib.ModelTheory, Mathlib.RepresentationTheory), 0),
((Mathlib.ModelTheory, Mathlib.RingTheory), 266),
((Mathlib.ModelTheory, Mathlib.SetTheory), 274),
((Mathlib.ModelTheory, Mathlib.Std), 0),
((Mathlib.ModelTheory, Mathlib.Tactic), 3988),
((Mathlib.ModelTheory, Mathlib.Testing), 0),
((Mathlib.ModelTheory, Mathlib.Topology), 0),
((Mathlib.ModelTheory, Mathlib.Util), 399),
((Mathlib.NumberTheory, Mathlib), 0),
((Mathlib.NumberTheory, Mathlib.Algebra), 71718),
((Mathlib.NumberTheory, Mathlib.AlgebraicGeometry), 0),
((Mathlib.NumberTheory, Mathlib.AlgebraicTopology), 0),
((Mathlib.NumberTheory, Mathlib.Analysis), 15733),
((Mathlib.NumberTheory, Mathlib.CategoryTheory), 2628),
((Mathlib.NumberTheory, Mathlib.Combinatorics), 351),
((Mathlib.NumberTheory, Mathlib.Computability), 0),
((Mathlib.NumberTheory, Mathlib.Condensed), 0),
((Mathlib.NumberTheory, Mathlib.Control), 1341),
((Mathlib.NumberTheory, Mathlib.Data), 53130),
((Mathlib.NumberTheory, Mathlib.Deprecated), 0),
((Mathlib.NumberTheory, Mathlib.Dynamics), 539),
((Mathlib.NumberTheory, Mathlib.FieldTheory), 1480),
((Mathlib.NumberTheory, Mathlib.Geometry), 64),
((Mathlib.NumberTheory, Mathlib.GroupTheory), 6667),
((Mathlib.NumberTheory, Mathlib.InformationTheory), 0),
((Mathlib.NumberTheory, Mathlib.Init), 163),
((Mathlib.NumberTheory, Mathlib.Lean), 2674),
((Mathlib.NumberTheory, Mathlib.LinearAlgebra), 10627),
((Mathlib.NumberTheory, Mathlib.Logic), 6005),
((Mathlib.NumberTheory, Mathlib.MeasureTheory), 7000),
((Mathlib.NumberTheory, Mathlib.ModelTheory), 0),
((Mathlib.NumberTheory, Mathlib.NumberTheory), 944),
((Mathlib.NumberTheory, Mathlib.Order), 21641),
((Mathlib.NumberTheory, Mathlib.Probability), 120),
((Mathlib.NumberTheory, Mathlib.RepresentationTheory), 0),
((Mathlib.NumberTheory, Mathlib.RingTheory), 13681),
((Mathlib.NumberTheory, Mathlib.SetTheory), 2328),
((Mathlib.NumberTheory, Mathlib.Std), 0),
((Mathlib.NumberTheory, Mathlib.Tactic), 30989),
((Mathlib.NumberTheory, Mathlib.Testing), 0),
((Mathlib.NumberTheory, Mathlib.Topology), 22429),
((Mathlib.NumberTheory, Mathlib.Util), 2815),
((Mathlib.Order, Mathlib), 0),
((Mathlib.Order, Mathlib.Algebra), 5258),
((Mathlib.Order, Mathlib.AlgebraicGeometry), 0),
((Mathlib.Order, Mathlib.AlgebraicTopology), 0),
((Mathlib.Order, Mathlib.Analysis), 14),
((Mathlib.Order, Mathlib.CategoryTheory), 877),
((Mathlib.Order, Mathlib.Combinatorics), 95),
((Mathlib.Order, Mathlib.Computability), 0),
((Mathlib.Order, Mathlib.Condensed), 0),
((Mathlib.Order, Mathlib.Control), 819),
((Mathlib.Order, Mathlib.Data), 17240),
((Mathlib.Order, Mathlib.Deprecated), 0),
((Mathlib.Order, Mathlib.Dynamics), 10),
((Mathlib.Order, Mathlib.FieldTheory), 0),
((Mathlib.Order, Mathlib.Geometry), 0),
((Mathlib.Order, Mathlib.GroupTheory), 38),
((Mathlib.Order, Mathlib.InformationTheory), 0),
((Mathlib.Order, Mathlib.Init), 252),
((Mathlib.Order, Mathlib.Lean), 2565),
((Mathlib.Order, Mathlib.LinearAlgebra), 13),
((Mathlib.Order, Mathlib.Logic), 4982),
((Mathlib.Order, Mathlib.MeasureTheory), 0),
((Mathlib.Order, Mathlib.ModelTheory), 0),
((Mathlib.Order, Mathlib.NumberTheory), 0),
((Mathlib.Order, Mathlib.Order), 10807),
((Mathlib.Order, Mathlib.Probability), 0),
((Mathlib.Order, Mathlib.RepresentationTheory), 0),
((Mathlib.Order, Mathlib.RingTheory), 11),
((Mathlib.Order, Mathlib.SetTheory), 43),
((Mathlib.Order, Mathlib.Std), 0),
((Mathlib.Order, Mathlib.Tactic), 24168),
((Mathlib.Order, Mathlib.Testing), 0),
((Mathlib.Order, Mathlib.Topology), 207),
((Mathlib.Order, Mathlib.Util), 2765),
((Mathlib.Probability, Mathlib), 0),
((Mathlib.Probability, Mathlib.Algebra), 37823),
((Mathlib.Probability, Mathlib.AlgebraicGeometry), 0),
((Mathlib.Probability, Mathlib.AlgebraicTopology), 0),
((Mathlib.Probability, Mathlib.Analysis), 7068),
((Mathlib.Probability, Mathlib.CategoryTheory), 0),
((Mathlib.Probability, Mathlib.Combinatorics), 119),
((Mathlib.Probability, Mathlib.Computability), 0),
((Mathlib.Probability, Mathlib.Condensed), 0),
((Mathlib.Probability, Mathlib.Control), 748),
((Mathlib.Probability, Mathlib.Data), 28476),
((Mathlib.Probability, Mathlib.Deprecated), 0),
((Mathlib.Probability, Mathlib.Dynamics), 346),
((Mathlib.Probability, Mathlib.FieldTheory), 59),
((Mathlib.Probability, Mathlib.Geometry), 0),
((Mathlib.Probability, Mathlib.GroupTheory), 3425),
((Mathlib.Probability, Mathlib.InformationTheory), 0),
((Mathlib.Probability, Mathlib.Init), 84),
((Mathlib.Probability, Mathlib.Lean), 1511),
((Mathlib.Probability, Mathlib.LinearAlgebra), 5432),
((Mathlib.Probability, Mathlib.Logic), 3264),
((Mathlib.Probability, Mathlib.MeasureTheory), 6908),
((Mathlib.Probability, Mathlib.ModelTheory), 0),
((Mathlib.Probability, Mathlib.NumberTheory), 136),
((Mathlib.Probability, Mathlib.Order), 12960),
((Mathlib.Probability, Mathlib.Probability), 827),
((Mathlib.Probability, Mathlib.RepresentationTheory), 0),
((Mathlib.Probability, Mathlib.RingTheory), 3421),
((Mathlib.Probability, Mathlib.SetTheory), 1249),
((Mathlib.Probability, Mathlib.Std), 0),
((Mathlib.Probability, Mathlib.Tactic), 16430),
((Mathlib.Probability, Mathlib.Testing), 0),
((Mathlib.Probability, Mathlib.Topology), 15630),
((Mathlib.Probability, Mathlib.Util), 1452),
((Mathlib.RepresentationTheory, Mathlib), 0),
((Mathlib.RepresentationTheory, Mathlib.Algebra), 5864),
((Mathlib.RepresentationTheory, Mathlib.AlgebraicGeometry), 0),
((Mathlib.RepresentationTheory, Mathlib.AlgebraicTopology), 45),
((Mathlib.RepresentationTheory, Mathlib.Analysis), 0),
((Mathlib.RepresentationTheory, Mathlib.CategoryTheory), 2041),
((Mathlib.RepresentationTheory, Mathlib.Combinatorics), 84),
((Mathlib.RepresentationTheory, Mathlib.Computability), 0),
((Mathlib.RepresentationTheory, Mathlib.Condensed), 0),
((Mathlib.RepresentationTheory, Mathlib.Control), 105),
((Mathlib.RepresentationTheory, Mathlib.Data), 3837),
((Mathlib.RepresentationTheory, Mathlib.Deprecated), 0),
((Mathlib.RepresentationTheory, Mathlib.Dynamics), 30),
((Mathlib.RepresentationTheory, Mathlib.FieldTheory), 125),
((Mathlib.RepresentationTheory, Mathlib.Geometry), 0),
((Mathlib.RepresentationTheory, Mathlib.GroupTheory), 458),
((Mathlib.RepresentationTheory, Mathlib.InformationTheory), 0),
((Mathlib.RepresentationTheory, Mathlib.Init), 13),
((Mathlib.RepresentationTheory, Mathlib.Lean), 169),
((Mathlib.RepresentationTheory, Mathlib.LinearAlgebra), 873),
((Mathlib.RepresentationTheory, Mathlib.Logic), 494),
((Mathlib.RepresentationTheory, Mathlib.MeasureTheory), 0),
((Mathlib.RepresentationTheory, Mathlib.ModelTheory), 0),
((Mathlib.RepresentationTheory, Mathlib.NumberTheory), 7),
((Mathlib.RepresentationTheory, Mathlib.Order), 1399),
((Mathlib.RepresentationTheory, Mathlib.Probability), 0),
((Mathlib.RepresentationTheory, Mathlib.RepresentationTheory), 39),
((Mathlib.RepresentationTheory, Mathlib.RingTheory), 963),
((Mathlib.RepresentationTheory, Mathlib.SetTheory), 233),
((Mathlib.RepresentationTheory, Mathlib.Std), 0),
((Mathlib.RepresentationTheory, Mathlib.Tactic), 2406),
((Mathlib.RepresentationTheory, Mathlib.Testing), 0),
((Mathlib.RepresentationTheory, Mathlib.Topology), 0),
((Mathlib.RepresentationTheory, Mathlib.Util), 230),
((Mathlib.RingTheory, Mathlib), 0),
((Mathlib.RingTheory, Mathlib.Algebra), 162439),
((Mathlib.RingTheory, Mathlib.AlgebraicGeometry), 0),
((Mathlib.RingTheory, Mathlib.AlgebraicTopology), 0),
((Mathlib.RingTheory, Mathlib.Analysis), 772),
((Mathlib.RingTheory, Mathlib.CategoryTheory), 6016),
((Mathlib.RingTheory, Mathlib.Combinatorics), 563),
((Mathlib.RingTheory, Mathlib.Computability), 0),
((Mathlib.RingTheory, Mathlib.Condensed), 0),
((Mathlib.RingTheory, Mathlib.Control), 3639),
((Mathlib.RingTheory, Mathlib.Data), 121078),
((Mathlib.RingTheory, Mathlib.Deprecated), 0),
((Mathlib.RingTheory, Mathlib.Dynamics), 753),
((Mathlib.RingTheory, Mathlib.FieldTheory), 1209),
((Mathlib.RingTheory, Mathlib.Geometry), 0),
((Mathlib.RingTheory, Mathlib.GroupTheory), 12693),
((Mathlib.RingTheory, Mathlib.InformationTheory), 0),
((Mathlib.RingTheory, Mathlib.Init), 476),
((Mathlib.RingTheory, Mathlib.Lean), 6392),
((Mathlib.RingTheory, Mathlib.LinearAlgebra), 14366),
((Mathlib.RingTheory, Mathlib.Logic), 15433),
((Mathlib.RingTheory, Mathlib.MeasureTheory), 100),
((Mathlib.RingTheory, Mathlib.ModelTheory), 0),
((Mathlib.RingTheory, Mathlib.NumberTheory), 321),
((Mathlib.RingTheory, Mathlib.Order), 45619),
((Mathlib.RingTheory, Mathlib.Probability), 2),
((Mathlib.RingTheory, Mathlib.RepresentationTheory), 0),
((Mathlib.RingTheory, Mathlib.RingTheory), 23909),
((Mathlib.RingTheory, Mathlib.SetTheory), 4343),
((Mathlib.RingTheory, Mathlib.Std), 0),
((Mathlib.RingTheory, Mathlib.Tactic), 78753),
((Mathlib.RingTheory, Mathlib.Testing), 0),
((Mathlib.RingTheory, Mathlib.Topology), 6604),
((Mathlib.RingTheory, Mathlib.Util), 7639),
((Mathlib.SetTheory, Mathlib), 0),
((Mathlib.SetTheory, Mathlib.Algebra), 5814),
((Mathlib.SetTheory, Mathlib.AlgebraicGeometry), 0),
((Mathlib.SetTheory, Mathlib.AlgebraicTopology), 0),
((Mathlib.SetTheory, Mathlib.Analysis), 0),
((Mathlib.SetTheory, Mathlib.CategoryTheory), 0),
((Mathlib.SetTheory, Mathlib.Combinatorics), 0),
((Mathlib.SetTheory, Mathlib.Computability), 0),
((Mathlib.SetTheory, Mathlib.Condensed), 0),
((Mathlib.SetTheory, Mathlib.Control), 379),
((Mathlib.SetTheory, Mathlib.Data), 8803),
((Mathlib.SetTheory, Mathlib.Deprecated), 0),
((Mathlib.SetTheory, Mathlib.Dynamics), 45),
((Mathlib.SetTheory, Mathlib.FieldTheory), 0),
((Mathlib.SetTheory, Mathlib.Geometry), 0),
((Mathlib.SetTheory, Mathlib.GroupTheory), 68),
((Mathlib.SetTheory, Mathlib.InformationTheory), 0),
((Mathlib.SetTheory, Mathlib.Init), 50),
((Mathlib.SetTheory, Mathlib.Lean), 617),
((Mathlib.SetTheory, Mathlib.LinearAlgebra), 26),
((Mathlib.SetTheory, Mathlib.Logic), 1552),
((Mathlib.SetTheory, Mathlib.MeasureTheory), 0),
((Mathlib.SetTheory, Mathlib.ModelTheory), 0),
((Mathlib.SetTheory, Mathlib.NumberTheory), 1),
((Mathlib.SetTheory, Mathlib.Order), 3513),
((Mathlib.SetTheory, Mathlib.Probability), 0),
((Mathlib.SetTheory, Mathlib.RepresentationTheory), 0),
((Mathlib.SetTheory, Mathlib.RingTheory), 54),
((Mathlib.SetTheory, Mathlib.SetTheory), 396),
((Mathlib.SetTheory, Mathlib.Std), 0),
((Mathlib.SetTheory, Mathlib.Tactic), 6615),
((Mathlib.SetTheory, Mathlib.Testing), 0),
((Mathlib.SetTheory, Mathlib.Topology), 36),
((Mathlib.SetTheory, Mathlib.Util), 687),
((Mathlib.Std, Mathlib), 0),
((Mathlib.Std, Mathlib.Algebra), 0),
((Mathlib.Std, Mathlib.AlgebraicGeometry), 0),
((Mathlib.Std, Mathlib.AlgebraicTopology), 0),
((Mathlib.Std, Mathlib.Analysis), 0),
((Mathlib.Std, Mathlib.CategoryTheory), 0),
((Mathlib.Std, Mathlib.Combinatorics), 0),
((Mathlib.Std, Mathlib.Computability), 0),
((Mathlib.Std, Mathlib.Condensed), 0),
((Mathlib.Std, Mathlib.Control), 0),
((Mathlib.Std, Mathlib.Data), 0),
((Mathlib.Std, Mathlib.Deprecated), 0),
((Mathlib.Std, Mathlib.Dynamics), 0),
((Mathlib.Std, Mathlib.FieldTheory), 0),
((Mathlib.Std, Mathlib.Geometry), 0),
((Mathlib.Std, Mathlib.GroupTheory), 0),
((Mathlib.Std, Mathlib.InformationTheory), 0),
((Mathlib.Std, Mathlib.Init), 1),
((Mathlib.Std, Mathlib.Lean), 0),
((Mathlib.Std, Mathlib.LinearAlgebra), 0),
((Mathlib.Std, Mathlib.Logic), 0),
((Mathlib.Std, Mathlib.MeasureTheory), 0),
((Mathlib.Std, Mathlib.ModelTheory), 0),
((Mathlib.Std, Mathlib.NumberTheory), 0),
((Mathlib.Std, Mathlib.Order), 0),
((Mathlib.Std, Mathlib.Probability), 0),
((Mathlib.Std, Mathlib.RepresentationTheory), 0),
((Mathlib.Std, Mathlib.RingTheory), 0),
((Mathlib.Std, Mathlib.SetTheory), 0),
((Mathlib.Std, Mathlib.Std), 0),
((Mathlib.Std, Mathlib.Tactic), 13),
((Mathlib.Std, Mathlib.Testing), 0),
((Mathlib.Std, Mathlib.Topology), 0),
((Mathlib.Std, Mathlib.Util), 0),
((Mathlib.Tactic, Mathlib), 0),
((Mathlib.Tactic, Mathlib.Algebra), 9062),
((Mathlib.Tactic, Mathlib.AlgebraicGeometry), 0),
((Mathlib.Tactic, Mathlib.AlgebraicTopology), 0),
((Mathlib.Tactic, Mathlib.Analysis), 645),
((Mathlib.Tactic, Mathlib.CategoryTheory), 357),
((Mathlib.Tactic, Mathlib.Combinatorics), 59),
((Mathlib.Tactic, Mathlib.Computability), 0),
((Mathlib.Tactic, Mathlib.Condensed), 0),
((Mathlib.Tactic, Mathlib.Control), 252),
((Mathlib.Tactic, Mathlib.Data), 7005),
((Mathlib.Tactic, Mathlib.Deprecated), 0),
((Mathlib.Tactic, Mathlib.Dynamics), 22),
((Mathlib.Tactic, Mathlib.FieldTheory), 64),
((Mathlib.Tactic, Mathlib.Geometry), 0),
((Mathlib.Tactic, Mathlib.GroupTheory), 239),
((Mathlib.Tactic, Mathlib.InformationTheory), 0),
((Mathlib.Tactic, Mathlib.Init), 268),
((Mathlib.Tactic, Mathlib.Lean), 1271),
((Mathlib.Tactic, Mathlib.LinearAlgebra), 344),
((Mathlib.Tactic, Mathlib.Logic), 2109),
((Mathlib.Tactic, Mathlib.MeasureTheory), 200),
((Mathlib.Tactic, Mathlib.ModelTheory), 0),
((Mathlib.Tactic, Mathlib.NumberTheory), 37),
((Mathlib.Tactic, Mathlib.Order), 3275),
((Mathlib.Tactic, Mathlib.Probability), 4),
((Mathlib.Tactic, Mathlib.RepresentationTheory), 0),
((Mathlib.Tactic, Mathlib.RingTheory), 437),
((Mathlib.Tactic, Mathlib.SetTheory), 72),
((Mathlib.Tactic, Mathlib.Std), 2),
((Mathlib.Tactic, Mathlib.Tactic), 15197),
((Mathlib.Tactic, Mathlib.Testing), 0),
((Mathlib.Tactic, Mathlib.Topology), 933),
((Mathlib.Tactic, Mathlib.Util), 1322),
((Mathlib.Testing, Mathlib), 0),
((Mathlib.Testing, Mathlib.Algebra), 226),
((Mathlib.Testing, Mathlib.AlgebraicGeometry), 0),
((Mathlib.Testing, Mathlib.AlgebraicTopology), 0),
((Mathlib.Testing, Mathlib.Analysis), 0),
((Mathlib.Testing, Mathlib.CategoryTheory), 0),
((Mathlib.Testing, Mathlib.Combinatorics), 0),
((Mathlib.Testing, Mathlib.Computability), 0),
((Mathlib.Testing, Mathlib.Condensed), 0),
((Mathlib.Testing, Mathlib.Control), 7),
((Mathlib.Testing, Mathlib.Data), 220),
((Mathlib.Testing, Mathlib.Deprecated), 0),
((Mathlib.Testing, Mathlib.Dynamics), 0),
((Mathlib.Testing, Mathlib.FieldTheory), 0),
((Mathlib.Testing, Mathlib.Geometry), 0),
((Mathlib.Testing, Mathlib.GroupTheory), 1),
((Mathlib.Testing, Mathlib.InformationTheory), 0),
((Mathlib.Testing, Mathlib.Init), 3),
((Mathlib.Testing, Mathlib.Lean), 22),
((Mathlib.Testing, Mathlib.LinearAlgebra), 0),
((Mathlib.Testing, Mathlib.Logic), 43),
((Mathlib.Testing, Mathlib.MeasureTheory), 0),
((Mathlib.Testing, Mathlib.ModelTheory), 0),
((Mathlib.Testing, Mathlib.NumberTheory), 0),
((Mathlib.Testing, Mathlib.Order), 69),
((Mathlib.Testing, Mathlib.Probability), 0),
((Mathlib.Testing, Mathlib.RepresentationTheory), 0),
((Mathlib.Testing, Mathlib.RingTheory), 0),
((Mathlib.Testing, Mathlib.SetTheory), 0),
((Mathlib.Testing, Mathlib.Std), 0),
((Mathlib.Testing, Mathlib.Tactic), 274),
((Mathlib.Testing, Mathlib.Testing), 0),
((Mathlib.Testing, Mathlib.Topology), 0),
((Mathlib.Testing, Mathlib.Util), 26),
((Mathlib.Topology, Mathlib), 0),
((Mathlib.Topology, Mathlib.Algebra), 97378),
((Mathlib.Topology, Mathlib.AlgebraicGeometry), 0),
((Mathlib.Topology, Mathlib.AlgebraicTopology), 4),
((Mathlib.Topology, Mathlib.Analysis), 2623),
((Mathlib.Topology, Mathlib.CategoryTheory), 9033),
((Mathlib.Topology, Mathlib.Combinatorics), 440),
((Mathlib.Topology, Mathlib.Computability), 0),
((Mathlib.Topology, Mathlib.Condensed), 0),
((Mathlib.Topology, Mathlib.Control), 3565),
((Mathlib.Topology, Mathlib.Data), 107958),
((Mathlib.Topology, Mathlib.Deprecated), 0),
((Mathlib.Topology, Mathlib.Dynamics), 444),
((Mathlib.Topology, Mathlib.FieldTheory), 36),
((Mathlib.Topology, Mathlib.Geometry), 0),
((Mathlib.Topology, Mathlib.GroupTheory), 4985),
((Mathlib.Topology, Mathlib.InformationTheory), 0),
((Mathlib.Topology, Mathlib.Init), 493),
((Mathlib.Topology, Mathlib.Lean), 8598),
((Mathlib.Topology, Mathlib.LinearAlgebra), 4143),
((Mathlib.Topology, Mathlib.Logic), 14826),
((Mathlib.Topology, Mathlib.MeasureTheory), 87),
((Mathlib.Topology, Mathlib.ModelTheory), 0),
((Mathlib.Topology, Mathlib.NumberTheory), 99),
((Mathlib.Topology, Mathlib.Order), 53410),
((Mathlib.Topology, Mathlib.Probability), 0),
((Mathlib.Topology, Mathlib.RepresentationTheory), 0),
((Mathlib.Topology, Mathlib.RingTheory), 2912),
((Mathlib.Topology, Mathlib.SetTheory), 1026),
((Mathlib.Topology, Mathlib.Std), 0),
((Mathlib.Topology, Mathlib.Tactic), 80400),
((Mathlib.Topology, Mathlib.Testing), 0),
((Mathlib.Topology, Mathlib.Topology), 32855),
((Mathlib.Topology, Mathlib.Util), 7724),
((Mathlib.Util, Mathlib), 0),
((Mathlib.Util, Mathlib.Algebra), 0),
((Mathlib.Util, Mathlib.AlgebraicGeometry), 0),
((Mathlib.Util, Mathlib.AlgebraicTopology), 0),
((Mathlib.Util, Mathlib.Analysis), 0),
((Mathlib.Util, Mathlib.CategoryTheory), 0),
((Mathlib.Util, Mathlib.Combinatorics), 0),
((Mathlib.Util, Mathlib.Computability), 0),
((Mathlib.Util, Mathlib.Condensed), 0),
((Mathlib.Util, Mathlib.Control), 0),
((Mathlib.Util, Mathlib.Data), 1),
((Mathlib.Util, Mathlib.Deprecated), 0),
((Mathlib.Util, Mathlib.Dynamics), 0),
((Mathlib.Util, Mathlib.FieldTheory), 0),
((Mathlib.Util, Mathlib.Geometry), 0),
((Mathlib.Util, Mathlib.GroupTheory), 0),
((Mathlib.Util, Mathlib.InformationTheory), 0),
((Mathlib.Util, Mathlib.Init), 26),
((Mathlib.Util, Mathlib.Lean), 5),
((Mathlib.Util, Mathlib.LinearAlgebra), 0),
((Mathlib.Util, Mathlib.Logic), 0),
((Mathlib.Util, Mathlib.MeasureTheory), 0),
((Mathlib.Util, Mathlib.ModelTheory), 0),
((Mathlib.Util, Mathlib.NumberTheory), 0),
((Mathlib.Util, Mathlib.Order), 0),
((Mathlib.Util, Mathlib.Probability), 0),
((Mathlib.Util, Mathlib.RepresentationTheory), 0),
((Mathlib.Util, Mathlib.RingTheory), 0),
((Mathlib.Util, Mathlib.SetTheory), 0),
((Mathlib.Util, Mathlib.Std), 0),
((Mathlib.Util, Mathlib.Tactic), 339),
((Mathlib.Util, Mathlib.Testing), 0),
((Mathlib.Util, Mathlib.Topology), 0),
((Mathlib.Util, Mathlib.Util), 3),
]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment