import_graph.dot

digraph "import_graph" {
  "Matroid.ForMathlib.Set" [shape=ellipse];
  "Matroid.Graph.Connected.Vertex.Defs" [shape=ellipse];
  "Matroid.Graph.Walk.Path" -> "Matroid.Graph.Connected.Vertex.Defs";
  "Matroid.ForMathlib.Function" [shape=ellipse];
  "Matroid.ForMathlib.Relation" -> "Matroid.ForMathlib.Function";
  "Matroid.Constructions.Truncate" [shape=ellipse];
  "Matroid.Extension.ProjectBy" -> "Matroid.Constructions.Truncate";
  "Matroid.ForMathlib.FinDiff" -> "Matroid.Constructions.Truncate";
  "Matroid.Loop" [shape=ellipse];
  "Matroid.Circuit" -> "Matroid.Loop";
  "Matroid.ForMathlib.Finset" -> "Matroid.Loop";
  "Matroid.ForMathlib.Matroid.Closure" -> "Matroid.Loop";
  "Matroid.OnUniv" -> "Matroid.Loop";
  "Matroid.ForMathlib.Partition.Basic" [shape=ellipse];
  "Matroid.ForMathlib.Function" -> "Matroid.ForMathlib.Partition.Basic";
  "Matroid.Spikes" [shape=ellipse];
  "Matroid.Axioms.Circuit" -> "Matroid.Spikes";
  "Matroid.Uniform" -> "Matroid.Spikes";
  "Matroid.Representation.Map" [shape=ellipse];
  "Matroid.Representation.Basic" -> "Matroid.Representation.Map";
  "Matroid.Rank.Cardinal" [shape=ellipse];
  "Matroid.Rank.Nat" -> "Matroid.Rank.Cardinal";
  "Matroid.Graph.Distance" [shape=ellipse];
  "Matroid.Graph.Connected.Defs" -> "Matroid.Graph.Distance";
  "Matroid.Representation.Projective" [shape=ellipse];
  "Matroid.Representation.Minor" -> "Matroid.Representation.Projective";
  "Matroid.Rank.Cardinal" -> "Matroid.Representation.Projective";
  "Matroid.ForMathlib.LinearAlgebra.Projective" -> "Matroid.Representation.Projective";
  "Matroid.Graph.Degree.Defs" [shape=ellipse];
  "Matroid.Graph.Degree.Basic" -> "Matroid.Graph.Degree.Defs";
  "Matroid.ForMathlib.Matroid.Dual" [shape=ellipse];
  "Matroid.Graph.Connected.MixedLineGraph" [shape=ellipse];
  "Matroid.Graph.Connected.Basic" -> "Matroid.Graph.Connected.MixedLineGraph";
  "Matroid.Graph.WList.TakeDrop" [shape=ellipse];
  "Matroid.Graph.WList.Sublist" -> "Matroid.Graph.WList.TakeDrop";
  "Matroid.Parallel" [shape=ellipse];
  "Matroid.Flat.LowRank" -> "Matroid.Parallel";
  "Matroid.Flat.Hyperplane" -> "Matroid.Parallel";
  "Matroid.Equiv" -> "Matroid.Parallel";
  "Matroid.Connectivity.Separation.Internal" [shape=ellipse];
  "Matroid.Connectivity.Separation.Tutte" -> "Matroid.Connectivity.Separation.Internal";
  "Matroid.Rank.Nullity" [shape=ellipse];
  "Matroid.Rank.ENat" -> "Matroid.Rank.Nullity";
  "Matroid.Constructions.Project" -> "Matroid.Rank.Nullity";
  "Matroid.Minor.Contract" -> "Matroid.Rank.Nullity";
  "Matroid.Connectivity.Nat" [shape=ellipse];
  "Matroid.Connectivity.ConnSystem.Matroid" -> "Matroid.Connectivity.Nat";
  "Matroid.Graph.Lattice" [shape=ellipse];
  "Matroid.Graph.Subgraph.Lemma" -> "Matroid.Graph.Lattice";
  "Matroid.Axioms.Closure" [shape=ellipse];
  "Matroid.Graph.Subgraph.Delete" [shape=ellipse];
  "Matroid.Graph.Subgraph.Defs" -> "Matroid.Graph.Subgraph.Delete";
  "Matroid.ForMathlib.Relation" [shape=ellipse];
  "Matroid.Paving" [shape=ellipse];
  "Matroid.Uniform" -> "Matroid.Paving";
  "Matroid.ForMathlib.Tactic.TautoSet" -> "Matroid.Paving";
  "Matroid.Graph.Degree.Basic" [shape=ellipse];
  "Matroid.Graph.Finite" -> "Matroid.Graph.Degree.Basic";
  "Matroid.ForMathlib.Topology.ENat" -> "Matroid.Graph.Degree.Basic";
  "Matroid.ForMathlib.Tactic.ENatToNat" -> "Matroid.Graph.Degree.Basic";
  "Matroid.Connectivity.Separation.Infinite" [shape=ellipse];
  "Matroid.Connectivity.Separation.Vertical" -> "Matroid.Connectivity.Separation.Infinite";
  "Matroid.Tame" -> "Matroid.Connectivity.Separation.Infinite";
  "Matroid.Connectivity.Splitter.TutteTriangle" [shape=ellipse];
  "Matroid.Connectivity.Separation.Vertical" -> "Matroid.Connectivity.Splitter.TutteTriangle";
  "Matroid.Rank.Skew" [shape=ellipse];
  "Matroid.Connectivity.Skew" -> "Matroid.Rank.Skew";
  "Matroid.ForMathlib.Topology.ENat" -> "Matroid.Rank.Skew";
  "Matroid.Tame" [shape=ellipse];
  "Matroid.Paving" -> "Matroid.Tame";
  "Matroid.Connectivity.Skew" -> "Matroid.Tame";
  "Matroid.Graph.WList.Defs" [shape=ellipse];
  "Matroid.ForMathlib.Matroid.Map" [shape=ellipse];
  "Matroid.ForMathlib.Matroid.Basic" -> "Matroid.ForMathlib.Matroid.Map";
  "Matroid.ForMathlib.Function" -> "Matroid.ForMathlib.Matroid.Map";
  "Matroid.Minor.Order" [shape=ellipse];
  "Matroid.Minor.Contract" -> "Matroid.Minor.Order";
  "Matroid.Equiv" [shape=ellipse];
  "Matroid.Rank.Nat" -> "Matroid.Equiv";
  "Matroid.ForMathlib.PreimageVal" -> "Matroid.Equiv";
  "Matroid.ForMathlib.Logic_Embedding_Set" -> "Matroid.Equiv";
  "Matroid.Clone" [shape=ellipse];
  "Matroid.Equiv" -> "Matroid.Clone";
  "Matroid.Graph.WList.Ops" [shape=ellipse];
  "Matroid.Graph.WList.Defs" -> "Matroid.Graph.WList.Ops";
  "Matroid.Graph.Connected.Defs" [shape=ellipse];
  "Matroid.Graph.Connected.Component" -> "Matroid.Graph.Connected.Defs";
  "Matroid.Graph.Connected.Set.Defs" -> "Matroid.Graph.Connected.Defs";
  "Matroid.Graph.Basic" [shape=ellipse];
  "Matroid.ForMathlib.Partition.Set" -> "Matroid.Graph.Basic";
  "Matroid.ForMathlib.ENat" -> "Matroid.Graph.Basic";
  "Matroid.Constructions.Relax" [shape=ellipse];
  "Matroid.Flat.Hyperplane" -> "Matroid.Constructions.Relax";
  "Matroid.Minor.Iso" [shape=ellipse];
  "Matroid.Minor.Rank" -> "Matroid.Minor.Iso";
  "Matroid.Equiv" -> "Matroid.Minor.Iso";
  "Matroid.ForMathlib.Logic_Embedding_Set" [shape=ellipse];
  "Matroid.ForMathlib.Matroid.Closure" [shape=ellipse];
  "Matroid.ForMathlib.Matroid.Dual" -> "Matroid.ForMathlib.Matroid.Closure";
  "Matroid.ForMathlib.PreimageVal" [shape=ellipse];
  "Matroid.Intersection" [shape=ellipse];
  "Matroid.Flat.LowRank" -> "Matroid.Intersection";
  "Matroid.Graph.Connected.Vertex.Basic" [shape=ellipse];
  "Matroid.Graph.Lattice" -> "Matroid.Graph.Connected.Vertex.Basic";
  "Matroid.Graph.Connected.Vertex.Defs" -> "Matroid.Graph.Connected.Vertex.Basic";
  "Matroid.Graph.Finite" [shape=ellipse];
  "Matroid.Graph.Walk.Cycle" -> "Matroid.Graph.Finite";
  "Matroid.Graph.Simple" -> "Matroid.Graph.Finite";
  "Matroid.Graph.Lattice" -> "Matroid.Graph.Finite";
  "Matroid.Extension.ExtendBy" [shape=ellipse];
  "Matroid.Extension.ModularCut" -> "Matroid.Extension.ExtendBy";
  "Matroid.Connectivity.Extension" [shape=ellipse];
  "Matroid.Connectivity.Minor" -> "Matroid.Connectivity.Extension";
  "Matroid.Graph.Subgraph.Basic" [shape=ellipse];
  "Matroid.Graph.Basic" -> "Matroid.Graph.Subgraph.Basic";
  "Matroid.ForMathlib.Matroid.Basic" [shape=ellipse];
  "Matroid.Representation.Basic" [shape=ellipse];
  "Matroid.Connectivity.Skew" -> "Matroid.Representation.Basic";
  "Matroid.ForMathlib.LinearAlgebra.LinearIndepOn" -> "Matroid.Representation.Basic";
  "Matroid.Connectivity.Separation.Minor" [shape=ellipse];
  "Matroid.Connectivity.Separation.Basic" -> "Matroid.Connectivity.Separation.Minor";
  "Matroid.Extension.ModularCut" [shape=ellipse];
  "Matroid.Modular.Basic" -> "Matroid.Extension.ModularCut";
  "Matroid.ForMathlib.Data.Set.Finite" -> "Matroid.Extension.ModularCut";
  "Matroid.ForMathlib.Partition.Rep" [shape=ellipse];
  "Matroid.ForMathlib.Partition.Set" -> "Matroid.ForMathlib.Partition.Rep";
  "Matroid.Modular.Flat" [shape=ellipse];
  "Matroid.Connectivity.Basic" -> "Matroid.Modular.Flat";
  "Matroid.Graph.Map" [shape=ellipse];
  "Matroid.Graph.Walk.Cycle" -> "Matroid.Graph.Map";
  "Matroid.ForMathlib.LinearAlgebra.LinearIndepOn" [shape=ellipse];
  "Matroid.ForMathlib.ENat" [shape=ellipse];
  "Matroid.Representation.Minor" [shape=ellipse];
  "Matroid.Representation.StandardRep" -> "Matroid.Representation.Minor";
  "Matroid.Uniform" -> "Matroid.Representation.Minor";
  "Matroid.Graph.Walk.Path" [shape=ellipse];
  "Matroid.Graph.WList.Decompose" -> "Matroid.Graph.Walk.Path";
  "Matroid.Graph.Walk.Basic" -> "Matroid.Graph.Walk.Path";
  "Matroid.Connectivity.Basic" [shape=ellipse];
  "Matroid.Rank.Skew" -> "Matroid.Connectivity.Basic";
  "Matroid.Triangle" -> "Matroid.Connectivity.Basic";
  "Matroid.Sum" [shape=ellipse];
  "Matroid.ForMathlib.Matroid.Map" -> "Matroid.Sum";
  "Matroid.ForMathlib.Set" -> "Matroid.Sum";
  "Matroid.Flat.Hyperplane" [shape=ellipse];
  "Matroid.Flat.Lattice" -> "Matroid.Flat.Hyperplane";
  "Matroid.ForMathlib.Matroid.Circuit" -> "Matroid.Flat.Hyperplane";
  "Matroid.Graph.Connected.Vertex.VertexEnsemble" [shape=ellipse];
  "Matroid.Graph.Connected.Set.Defs" -> "Matroid.Graph.Connected.Vertex.VertexEnsemble";
  "Matroid.Connectivity.Skew" [shape=ellipse];
  "Matroid.Order.Quotient" -> "Matroid.Connectivity.Skew";
  "Matroid.ForMathlib.Partition.Induce" [shape=ellipse];
  "Matroid.ForMathlib.Partition.Basic" -> "Matroid.ForMathlib.Partition.Induce";
  "Matroid.Flat.LowRank" [shape=ellipse];
  "Matroid.Flat.Lattice" -> "Matroid.Flat.LowRank";
  "Matroid.ForMathlib.Data.ENat.Iterate" [shape=ellipse];
  "Matroid.ForMathlib.ENat" -> "Matroid.ForMathlib.Data.ENat.Iterate";
  "Matroid.Extension.Guts" [shape=ellipse];
  "Matroid.Modular.Flat" -> "Matroid.Extension.Guts";
  "Matroid.Connectivity.Extension" -> "Matroid.Extension.Guts";
  "Matroid.Extension.ProjectionBy" -> "Matroid.Extension.Guts";
  "Matroid.ForMathlib.Data.ENat.Iterate" -> "Matroid.Extension.Guts";
  "Matroid.Order.Discrepancy" [shape=ellipse];
  "Matroid.Order.Quotient" -> "Matroid.Order.Discrepancy";
  "Matroid.Extension.ProjectBy" [shape=ellipse];
  "Matroid.Extension.ExtendBy" -> "Matroid.Extension.ProjectBy";
  "Matroid.Graph.Minor.Defs" [shape=ellipse];
  "Matroid.Graph.Map" -> "Matroid.Graph.Minor.Defs";
  "Matroid.Graph.Connected.Construction" -> "Matroid.Graph.Minor.Defs";
  "Matroid.Graph.Connected.Basic" -> "Matroid.Graph.Minor.Defs";
  "Matroid.ForMathlib.Tactic.TautoSet" [shape=ellipse];
  "Matroid.Triangle" [shape=ellipse];
  "Matroid.Uniform" -> "Matroid.Triangle";
  "Matroid.Representation.CycleSpace" [shape=ellipse];
  "Matroid.Representation.Minor" -> "Matroid.Representation.CycleSpace";
  "Matroid.ForMathlib.LinearAlgebra.Finsupp" -> "Matroid.Representation.CycleSpace";
  "Matroid.BasisDuo" [shape=ellipse];
  "Matroid.Constructions.Project" -> "Matroid.BasisDuo";
  "Matroid.Graph.Degree.Constructions" [shape=ellipse];
  "Matroid.Graph.Degree.Defs" -> "Matroid.Graph.Degree.Constructions";
  "Matroid.Graph.Degree.Leaf" -> "Matroid.Graph.Degree.Constructions";
  "Matroid.ForMathlib.FinDiff" [shape=ellipse];
  "Matroid.ForMathlib.ENat" -> "Matroid.ForMathlib.FinDiff";
  "Matroid.Minor.Rank" [shape=ellipse];
  "Matroid.Minor.Order" -> "Matroid.Minor.Rank";
  "Matroid.Rank.Nat" -> "Matroid.Minor.Rank";
  "Matroid.Rank.Nullity" -> "Matroid.Minor.Rank";
  "Matroid.ForMathlib.ENat" -> "Matroid.Minor.Rank";
  "Matroid.Order.Weak" [shape=ellipse];
  "Matroid.Flat.Hyperplane" -> "Matroid.Order.Weak";
  "Matroid.Uniform" [shape=ellipse];
  "Matroid.Constructions.Truncate" -> "Matroid.Uniform";
  "Matroid.Bool" -> "Matroid.Uniform";
  "Matroid.ForMathlib.Tactic.ENatToNat" -> "Matroid.Uniform";
  "Matroid.ForMathlib.Tactic.ENatToNat" [shape=ellipse];
  "Matroid.Connectivity.ConnSystem.Matroid" [shape=ellipse];
  "Matroid.Connectivity.Basic" -> "Matroid.Connectivity.ConnSystem.Matroid";
  "Matroid.Connectivity.ConnSystem.Basic" -> "Matroid.Connectivity.ConnSystem.Matroid";
  "Matroid.Finitize" -> "Matroid.Connectivity.ConnSystem.Matroid";
  "Matroid.Graph.WList.Decompose" [shape=ellipse];
  "Matroid.Graph.WList.TakeDrop" -> "Matroid.Graph.WList.Decompose";
  "Matroid.Extension.Minor" [shape=ellipse];
  "Matroid.Extension.ProjectBy" -> "Matroid.Extension.Minor";
  "Matroid.ForMathlib.Matroid.Constructions" [shape=ellipse];
  "Matroid.ForMathlib.GCongr" [shape=ellipse];
  "Matroid.ForMathlib.Matroid.Closure" -> "Matroid.ForMathlib.GCongr";
  "Matroid.ForMathlib.Finset" [shape=ellipse];
  "Matroid.Graph.Connected.Minor" [shape=ellipse];
  "Matroid.Graph.Minor.Defs" -> "Matroid.Graph.Connected.Minor";
  "Matroid.Extension.Parallel" [shape=ellipse];
  "Matroid.Extension.ModularCut" -> "Matroid.Extension.Parallel";
  "Matroid.ForMathlib.Other" [shape=ellipse];
  "Matroid.ForMathlib.PartialEquiv" -> "Matroid.ForMathlib.Other";
  "Matroid.Binary.Crossing" [shape=ellipse];
  "Matroid.Tame" -> "Matroid.Binary.Crossing";
  "Matroid.ForMathlib.Data.Set.Subsingleton" -> "Matroid.Binary.Crossing";
  "Matroid.ForMathlib.Data.Set.Finite" [shape=ellipse];
  "Matroid.Constructions.Matching" [shape=ellipse];
  "Matroid.Rank.Nat" -> "Matroid.Constructions.Matching";
  "Matroid.Graph.WList.Cycle" [shape=ellipse];
  "Matroid.Graph.WList.TakeDrop" -> "Matroid.Graph.WList.Cycle";
  "Matroid.ForMathlib.Matroid.Circuit" [shape=ellipse];
  "Matroid.ForMathlib.Matroid.Closure" -> "Matroid.ForMathlib.Matroid.Circuit";
  "Matroid.Graph.Connected.Construction" [shape=ellipse];
  "Matroid.ForMathlib.Card" -> "Matroid.Graph.Connected.Construction";
  "Matroid.ForMathlib.Data.Set.Subsingleton" -> "Matroid.Graph.Connected.Construction";
  "Matroid.Graph.Connected.Defs" -> "Matroid.Graph.Connected.Construction";
  "Matroid.ForMathlib.LinearAlgebra.Finsupp" [shape=ellipse];
  "Matroid.ForMathlib.Card" [shape=ellipse];
  "Matroid.ForMathlib.List" [shape=ellipse];
  "Matroid.Finitize" [shape=ellipse];
  "Matroid.Rank.Skew" -> "Matroid.Finitize";
  "Matroid.Graph.Connected.Basic" [shape=ellipse];
  "Matroid.Graph.Connected.Defs" -> "Matroid.Graph.Connected.Basic";
  "Matroid.Graph.Degree.Constructions" -> "Matroid.Graph.Connected.Basic";
  "Matroid.ForMathlib.Data.Set.Subsingleton" -> "Matroid.Graph.Connected.Basic";
  "Matroid.ForMathlib.LinearAlgebra.Vandermonde" [shape=ellipse];
  "Matroid.ForMathlib.LinearAlgebra.LinearIndepOn" -> "Matroid.ForMathlib.LinearAlgebra.Vandermonde";
  "Matroid.Rank.ENat" [shape=ellipse];
  "Matroid.Loop" -> "Matroid.Rank.ENat";
  "Matroid.ForMathlib.Other" -> "Matroid.Rank.ENat";
  "Matroid.Closure" -> "Matroid.Rank.ENat";
  "Matroid.Flat.Lattice" [shape=ellipse];
  "Matroid.Flat.Basic" -> "Matroid.Flat.Lattice";
  "Matroid.ForMathlib.Partition.Rep" -> "Matroid.Flat.Lattice";
  "Matroid.Order.Quotient" [shape=ellipse];
  "Matroid.Order.Weak" -> "Matroid.Order.Quotient";
  "Matroid.Constructions.Truncate" -> "Matroid.Order.Quotient";
  "Matroid.Flat.Basic" [shape=ellipse];
  "Matroid.Minor.Rank" -> "Matroid.Flat.Basic";
  "Matroid.Axioms.Circuit" [shape=ellipse];
  "Matroid.ForMathlib.Finset" -> "Matroid.Axioms.Circuit";
  "Matroid.Circuit" -> "Matroid.Axioms.Circuit";
  "Matroid.ForMathlib.Topology.ENat" [shape=ellipse];
  "Matroid.ForMathlib.ENat" -> "Matroid.ForMathlib.Topology.ENat";
  "Matroid.ForMathlib.Card" -> "Matroid.ForMathlib.Topology.ENat";
  "Matroid.ForMathlib.PartialEquiv" [shape=ellipse];
  "Matroid.ForMathlib.Partition.Set" [shape=ellipse];
  "Matroid.ForMathlib.Partition.Induce" -> "Matroid.ForMathlib.Partition.Set";
  "Matroid.Graph.WList.Sublist" [shape=ellipse];
  "Matroid.Graph.WList.Ops" -> "Matroid.Graph.WList.Sublist";
  "Matroid.ForMathlib.List" -> "Matroid.Graph.WList.Sublist";
  "Matroid.Constructions.Project" [shape=ellipse];
  "Matroid.Graph.Forest" [shape=ellipse];
  "Matroid.Graph.Distance" -> "Matroid.Graph.Forest";
  "Matroid.Graph.Connected.Subgraph" -> "Matroid.Graph.Forest";
  "Matroid.Graph.Connected.Bond" -> "Matroid.Graph.Forest";
  "Matroid.ForMathlib.Data.Set.IndexedPartition" [shape=ellipse];
  "Matroid.ForMathlib.Data.Set.Subsingleton" -> "Matroid.ForMathlib.Data.Set.IndexedPartition";
  "Matroid.ForMathlib.Set" -> "Matroid.ForMathlib.Data.Set.IndexedPartition";
  "Matroid.Graph.Subgraph.Union" [shape=ellipse];
  "Matroid.Graph.Subgraph.Compatible" -> "Matroid.Graph.Subgraph.Union";
  "Matroid.Circuit" [shape=ellipse];
  "Matroid.ForMathlib.Card" -> "Matroid.Circuit";
  "Matroid.Sum" -> "Matroid.Circuit";
  "Matroid.Representation.Uniform" [shape=ellipse];
  "Matroid.Representation.Projective" -> "Matroid.Representation.Uniform";
  "Matroid.ForMathlib.LinearAlgebra.Vandermonde" -> "Matroid.Representation.Uniform";
  "Matroid.Extension.Quotient" [shape=ellipse];
  "Matroid.Rank.Skew" -> "Matroid.Extension.Quotient";
  "Matroid.Order.Discrepancy" -> "Matroid.Extension.Quotient";
  "Matroid.Extension.Minor" -> "Matroid.Extension.Quotient";
  "Matroid.Graph.Connected.Subgraph" [shape=ellipse];
  "Matroid.Graph.Connected.Basic" -> "Matroid.Graph.Connected.Subgraph";
  "Matroid.Graph.Connected.Vertex.Basic" -> "Matroid.Graph.Connected.Subgraph";
  "Matroid.Minor.Contract" [shape=ellipse];
  "Matroid.Minor.Delete" -> "Matroid.Minor.Contract";
  "Matroid.ForMathlib.Matroid.Constructions" -> "Matroid.Minor.Contract";
  "Matroid.Extension.ProjectionBy" [shape=ellipse];
  "Matroid.Extension.Minor" -> "Matroid.Extension.ProjectionBy";
  "Matroid.Order.Quotient" -> "Matroid.Extension.ProjectionBy";
  "Matroid.Minor.Delete" [shape=ellipse];
  "Matroid.Loop" -> "Matroid.Minor.Delete";
  "Matroid.Closure" -> "Matroid.Minor.Delete";
  "Matroid.Modular.Basic" [shape=ellipse];
  "Matroid.Simple" -> "Matroid.Modular.Basic";
  "Matroid.ForMathlib.GCongr" -> "Matroid.Modular.Basic";
  "Matroid.Connectivity.ConnSystem.Basic" [shape=ellipse];
  "Matroid.ForMathlib.Data.Set.IndexedPartition" -> "Matroid.Connectivity.ConnSystem.Basic";
  "Matroid.Connectivity.Core" [shape=ellipse];
  "Matroid.Connectivity.ConnSystem.Matroid" -> "Matroid.Connectivity.Core";
  "Matroid.ForMathlib.Data.Set.Subsingleton" [shape=ellipse];
  "Matroid.Representation.Pasture" [shape=ellipse];
  "Matroid.Connectivity.Connected" [shape=ellipse];
  "Matroid.Triangle" -> "Matroid.Connectivity.Connected";
  "Matroid.Graph.Connected.Set.Leg" [shape=ellipse];
  "Matroid.Graph.Connected.Set.SetEnsemble" -> "Matroid.Graph.Connected.Set.Leg";
  "Matroid.Rank.Nat" [shape=ellipse];
  "Matroid.Rank.ENat" -> "Matroid.Rank.Nat";
  "Matroid.Connectivity.Separation.Abstract" [shape=ellipse];
  "Matroid.Connectivity.Separation.Faithful" -> "Matroid.Connectivity.Separation.Abstract";
  "Matroid.Graph.Walk.Cycle" [shape=ellipse];
  "Matroid.Graph.Walk.Path" -> "Matroid.Graph.Walk.Cycle";
  "Matroid.Graph.WList.Cycle" -> "Matroid.Graph.Walk.Cycle";
  "Matroid.Connectivity.Minor" [shape=ellipse];
  "Matroid.Connectivity.Nat" -> "Matroid.Connectivity.Minor";
  "Matroid.Graph.Connected.Component" [shape=ellipse];
  "Matroid.Graph.Lattice" -> "Matroid.Graph.Connected.Component";
  "Matroid.Graph.Connected.Vertex.Defs" -> "Matroid.Graph.Connected.Component";
  "Matroid.Graph.Connected.Set.Defs" [shape=ellipse];
  "Matroid.Graph.Connected.Vertex.Defs" -> "Matroid.Graph.Connected.Set.Defs";
  "Matroid.ForMathlib.Tactic.ENatToNat" -> "Matroid.Graph.Connected.Set.Defs";
  "Matroid.Graph.Subgraph.Compatible" [shape=ellipse];
  "Matroid.Graph.Subgraph.Defs" -> "Matroid.Graph.Subgraph.Compatible";
  "Matroid.Connectivity.Separation.Basic" [shape=ellipse];
  "Matroid.Connectivity.Connected" -> "Matroid.Connectivity.Separation.Basic";
  "Matroid.Connectivity.Minor" -> "Matroid.Connectivity.Separation.Basic";
  "Matroid.Simple" [shape=ellipse];
  "Matroid.Parallel" -> "Matroid.Simple";
  "Matroid.Minor.Iso" -> "Matroid.Simple";
  "Matroid.Graph.Independent" [shape=ellipse];
  "Matroid.ForMathlib.Card" -> "Matroid.Graph.Independent";
  "Matroid.Graph.Simple" -> "Matroid.Graph.Independent";
  "Matroid.Graph.Connected.Menger" [shape=ellipse];
  "Matroid.Graph.Connected.Set.Leg" -> "Matroid.Graph.Connected.Menger";
  "Matroid.Graph.Connected.Vertex.VertexEnsemble" -> "Matroid.Graph.Connected.Menger";
  "Matroid.Graph.Connected.MixedLineGraph" -> "Matroid.Graph.Connected.Menger";
  "Matroid.Connectivity.Separation.Faithful" [shape=ellipse];
  "Matroid.Connectivity.Separation.Minor" -> "Matroid.Connectivity.Separation.Faithful";
  "Matroid.Representation.FundamentalMatrix" [shape=ellipse];
  "Matroid.Representation.StandardRep" -> "Matroid.Representation.FundamentalMatrix";
  "Matroid.Representation.StandardRep" [shape=ellipse];
  "Matroid.Representation.Map" -> "Matroid.Representation.StandardRep";
  "Matroid" [shape=house];
  "Matroid.Axioms.Flat" -> "Matroid";
  "Matroid.Axioms.Rank" -> "Matroid";
  "Matroid.BasisDuo" -> "Matroid";
  "Matroid.Binary.Representation" -> "Matroid";
  "Matroid.Clone" -> "Matroid";
  "Matroid.Connectivity.Core" -> "Matroid";
  "Matroid.Connectivity.Separation.Infinite" -> "Matroid";
  "Matroid.Connectivity.Separation.Internal" -> "Matroid";
  "Matroid.Connectivity.Splitter.TutteTriangle" -> "Matroid";
  "Matroid.Constructions.Matching" -> "Matroid";
  "Matroid.Constructions.Relax" -> "Matroid";
  "Matroid.Extension.Guts" -> "Matroid";
  "Matroid.Extension.Parallel" -> "Matroid";
  "Matroid.Extension.Quotient" -> "Matroid";
  "Matroid.Graph.Connected.Menger" -> "Matroid";
  "Matroid.Graph.Connected.Minor" -> "Matroid";
  "Matroid.Graph.Degree.Max" -> "Matroid";
  "Matroid.Graph.Independent" -> "Matroid";
  "Matroid.Graph.Minor.Conn" -> "Matroid";
  "Matroid.Intersection" -> "Matroid";
  "Matroid.Representation.Pasture" -> "Matroid";
  "Matroid.Spikes" -> "Matroid";
  "Matroid.Graph.Subgraph.Lemma" [shape=ellipse];
  "Matroid.Graph.Subgraph.Delete" -> "Matroid.Graph.Subgraph.Lemma";
  "Matroid.Graph.Subgraph.Union" -> "Matroid.Graph.Subgraph.Lemma";
  "Matroid.Graph.Subgraph.Inter" -> "Matroid.Graph.Subgraph.Lemma";
  "Matroid.Binary.Representation" [shape=ellipse];
  "Matroid.Representation.Uniform" -> "Matroid.Binary.Representation";
  "Matroid.Representation.FundamentalMatrix" -> "Matroid.Binary.Representation";
  "Matroid.Representation.CycleSpace" -> "Matroid.Binary.Representation";
  "Matroid.Binary.Crossing" -> "Matroid.Binary.Representation";
  "Matroid.Axioms.Flat" [shape=ellipse];
  "Matroid.Axioms.Closure" -> "Matroid.Axioms.Flat";
  "Matroid.Flat.Basic" -> "Matroid.Axioms.Flat";
  "Matroid.Graph.Subgraph.Defs" [shape=ellipse];
  "Matroid.Graph.Constructions.Basic" -> "Matroid.Graph.Subgraph.Defs";
  "Matroid.ForMathlib.Set" -> "Matroid.Graph.Subgraph.Defs";
  "Matroid.ForMathlib.LinearAlgebra.Projective" [shape=ellipse];
  "Matroid.ForMathlib.LinearAlgebra.LinearIndepOn" -> "Matroid.ForMathlib.LinearAlgebra.Projective";
  "Matroid.ForMathlib.LinearAlgebra.Submodule" -> "Matroid.ForMathlib.LinearAlgebra.Projective";
  "Matroid.Graph.Connected.Bond" [shape=ellipse];
  "Matroid.Graph.Connected.Basic" -> "Matroid.Graph.Connected.Bond";
  "Matroid.Graph.Connected.Vertex.Basic" -> "Matroid.Graph.Connected.Bond";
  "Matroid.Graph.Subgraph.Inter" [shape=ellipse];
  "Matroid.Graph.Subgraph.Defs" -> "Matroid.Graph.Subgraph.Inter";
  "Matroid.OnUniv" [shape=ellipse];
  "Matroid.Sum" -> "Matroid.OnUniv";
  "Matroid.Closure" [shape=ellipse];
  "Matroid.ForMathlib.Matroid.Closure" -> "Matroid.Closure";
  "Matroid.Graph.Connected.Set.SetEnsemble" [shape=ellipse];
  "Matroid.Graph.Connected.Set.Defs" -> "Matroid.Graph.Connected.Set.SetEnsemble";
  "Matroid.Graph.Constructions.Basic" [shape=ellipse];
  "Matroid.Graph.Subgraph.Basic" -> "Matroid.Graph.Constructions.Basic";
  "Matroid.Graph.Walk.Basic" [shape=ellipse];
  "Matroid.Graph.WList.TakeDrop" -> "Matroid.Graph.Walk.Basic";
  "Matroid.Graph.Subgraph.Delete" -> "Matroid.Graph.Walk.Basic";
  "Matroid.Graph.Simple" [shape=ellipse];
  "Matroid.Graph.Subgraph.Union" -> "Matroid.Graph.Simple";
  "Matroid.Graph.Walk.Path" -> "Matroid.Graph.Simple";
  "Matroid.ForMathlib.Partition.Rep" -> "Matroid.Graph.Simple";
  "Matroid.Connectivity.Separation.Tutte" [shape=ellipse];
  "Matroid.Connectivity.Separation.Abstract" -> "Matroid.Connectivity.Separation.Tutte";
  "Matroid.ForMathlib.LinearAlgebra.Submodule" [shape=ellipse];
  "Matroid.Graph.Degree.Leaf" [shape=ellipse];
  "Matroid.Graph.Degree.Basic" -> "Matroid.Graph.Degree.Leaf";
  "Matroid.Connectivity.Separation.Vertical" [shape=ellipse];
  "Matroid.Connectivity.Separation.Tutte" -> "Matroid.Connectivity.Separation.Vertical";
  "Matroid.Bool" [shape=ellipse];
  "Matroid.Minor.Order" -> "Matroid.Bool";
  "Matroid.Graph.Minor.Conn" [shape=ellipse];
  "Matroid.Graph.Minor.Defs" -> "Matroid.Graph.Minor.Conn";
  "Matroid.Graph.Forest" -> "Matroid.Graph.Minor.Conn";
  "Matroid.Axioms.Rank" [shape=ellipse];
  "Matroid.Minor.Rank" -> "Matroid.Axioms.Rank";
  "Matroid.Graph.Degree.Max" [shape=ellipse];
  "Matroid.Graph.Forest" -> "Matroid.Graph.Degree.Max";
}