diff between importing Mathlib.Data.Set.Intervals.Disjoint versus Mathlib.Data.Set.Image

gistfile1.txt

  "Mathlib.Control.Basic" -> "Mathlib.Tactic.Rewrites";
  "Mathlib.Control.EquivFunctor" -> "Mathlib.Logic.Equiv.Option";
  "Mathlib.Control.ULift" -> "Mathlib.Data.ULift";
  "Mathlib.Data.Bool.Set" -> "Mathlib.Order.CompleteLattice";
  "Mathlib.Data.MLList.Dedup" -> "Mathlib.Tactic.Rewrites";
  "Mathlib.Data.Nat.Set" -> "Mathlib.Order.CompleteLattice";
  "Mathlib.Data.Option.Basic" -> "Mathlib.Logic.Embedding.Basic";
  "Mathlib.Data.Option.Basic" -> "Mathlib.Logic.Equiv.Option";
  "Mathlib.Data.Prod.PProd" -> "Mathlib.Logic.Embedding.Basic";
  "Mathlib.Data.Set.Basic" -> "Mathlib.Data.Set.Intervals.Basic";
  "Mathlib.Data.Set.Defs" -> "Mathlib.Order.SetNotation";
  "Mathlib.Data.Set.Function" -> "Mathlib.Logic.Equiv.Set";
  "Mathlib.Data.Set.Image" -> "Mathlib.Data.Bool.Set";
  "Mathlib.Data.Set.Image" -> "Mathlib.Data.Nat.Set";
  "Mathlib.Data.Set.Image" -> "Mathlib.Data.Set.Prod";
  "Mathlib.Data.Set.Image" -> "Mathlib.Order.Directed";
  "Mathlib.Data.Set.Intervals.Basic" -> "Mathlib.Order.Bounds.Basic";
  "Mathlib.Data.Set.Lattice" -> "Mathlib.Data.Set.Intervals.Disjoint";
  "Mathlib.Data.Set.NAry" -> "Mathlib.Order.Bounds.Basic";
  "Mathlib.Data.Set.Prod" -> "Mathlib.Data.Set.Function";
  "Mathlib.Data.Set.Prod" -> "Mathlib.Data.Set.NAry";
  "Mathlib.Data.String.Defs" -> "Mathlib.Tactic.Widget.Calc";
  "Mathlib.Data.String.Defs" -> "Mathlib.Tactic.Widget.Conv";
  "Mathlib.Data.Subtype" -> "Mathlib.Logic.Equiv.Option";
  "Mathlib.Data.Subtype" -> "Mathlib.Tactic.IrreducibleDef";
  "Mathlib.Data.ULift" -> "Mathlib.Order.CompleteLattice";
  "Mathlib.Init.Control.Combinators" -> "Mathlib.Control.Basic";
  "Mathlib.Init.Core" -> "Mathlib.Tactic.Rewrites";
  "Mathlib.Init.Function" -> "Mathlib.Control.Basic";
  "Mathlib.Init.Function" -> "Mathlib.Data.Prod.PProd";
  "Mathlib.Lean.Expr.Basic" -> "Mathlib.Tactic.ExtractLets";
  "Mathlib.Lean.Expr.Basic" -> "Mathlib.Tactic.RenameBVar";
  "Mathlib.Lean.Expr.Basic" -> "Mathlib.Tactic.Rewrites";
  "Mathlib.Lean.Expr.Basic" -> "Mathlib.Tactic.TermCongr";
  "Mathlib.Lean.Expr.Traverse" -> "Mathlib.Lean.Meta.DiscrTree";
  "Mathlib.Lean.Meta.Basic" -> "Mathlib.Tactic.ApplyAt";
  "Mathlib.Lean.Meta.Basic" -> "Mathlib.Tactic.Propose";
  "Mathlib.Lean.Meta.DiscrTree" -> "Mathlib.Tactic.Rewrites";
  "Mathlib.Lean.Meta" -> "Mathlib.Tactic.Propose";
  "Mathlib.Logic.Embedding.Basic" -> "Mathlib.Order.RelIso.Basic";
  "Mathlib.Logic.Equiv.Basic" -> "Mathlib.Data.ULift";
  "Mathlib.Logic.Equiv.Basic" -> "Mathlib.Logic.Embedding.Basic";
  "Mathlib.Logic.Equiv.Defs" -> "Mathlib.Control.EquivFunctor";
  "Mathlib.Logic.Equiv.Option" -> "Mathlib.Order.Hom.Basic";
  "Mathlib.Logic.Equiv.Set" -> "Mathlib.Order.Hom.Set";
  "Mathlib.Logic.Pairwise" -> "Mathlib.Data.Set.Lattice";
  "Mathlib.Mathport.Notation" -> "Mathlib.Order.SetNotation";
  "Mathlib.Mathport.Rename" -> "Mathlib.Control.ULift";
  "Mathlib.Mathport.Rename" -> "Mathlib.Init.Core";
  "Mathlib.Mathport.Rename" -> "Mathlib.Tactic.Hint";
  "Mathlib.Order.Bounds.Basic" -> "Mathlib.Order.CompleteLattice";
  "Mathlib.Order.CompleteBooleanAlgebra" -> "Mathlib.Data.Set.Lattice";
  "Mathlib.Order.CompleteLattice" -> "Mathlib.Order.CompleteBooleanAlgebra";
  "Mathlib.Order.CompleteLattice" -> "Mathlib.Order.GaloisConnection";
  "Mathlib.Order.Directed" -> "Mathlib.Order.Bounds.Basic";
  "Mathlib.Order.Disjoint" -> "Mathlib.Order.Hom.Basic";
  "Mathlib.Order.GaloisConnection" -> "Mathlib.Data.Set.Lattice";
  "Mathlib.Order.Hom.Basic" -> "Mathlib.Order.Hom.Set";
  "Mathlib.Order.Hom.Set" -> "Mathlib.Order.CompleteLattice";
  "Mathlib.Order.Lattice" -> "Mathlib.Order.MinMax";
  "Mathlib.Order.MinMax" -> "Mathlib.Data.Set.Intervals.Basic";
  "Mathlib.Order.RelClasses" -> "Mathlib.Order.RelIso.Basic";
  "Mathlib.Order.RelIso.Basic" -> "Mathlib.Order.Hom.Basic";
  "Mathlib.Order.SetNotation" -> "Mathlib.Order.CompleteLattice";
  "Mathlib.Order.WithBot" -> "Mathlib.Order.Hom.Basic";
  "Mathlib.Tactic.ApplyAt" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.ApplyCongr" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.ApplyWith" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.Attr.Core" -> "Mathlib.Control.Basic";
  "Mathlib.Tactic.Attr.Register" -> "Mathlib.Tactic.Attr.Core";
  "Mathlib.Tactic.Attr.Register" -> "Mathlib.Tactic.HigherOrder";
  "Mathlib.Tactic.Basic" -> "Mathlib.Tactic.DefEqTransformations";
  "Mathlib.Tactic.Basic" -> "Mathlib.Tactic.ExtractLets";
  "Mathlib.Tactic.Basic" -> "Mathlib.Tactic.RSuffices";
  "Mathlib.Tactic.ByContra" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.Cases" -> "Mathlib.Logic.Equiv.Option";
  "Mathlib.Tactic.Cases" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.CasesM" -> "Mathlib.Control.Basic";
  "Mathlib.Tactic.Check" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.Choose" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.ClearExcept" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.Clear!" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.Clear_" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.Coe" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.Common" -> "Mathlib.Logic.Pairwise";
  "Mathlib.Tactic.Congr!" -> "Mathlib.Tactic.TermCongr";
  "Mathlib.Tactic.Congrm" -> "Mathlib.Tactic.Widget.Congrm";
  "Mathlib.Tactic.Constructor" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.Contrapose" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.Convert" -> "Mathlib.Control.EquivFunctor";
  "Mathlib.Tactic.Convert" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.Conv" -> "Mathlib.Tactic.ApplyCongr";
  "Mathlib.Tactic.Core" -> "Mathlib.Tactic.Propose";
  "Mathlib.Tactic.Core" -> "Mathlib.Tactic.WLOG";
  "Mathlib.Tactic.DefEqTransformations" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.Existsi" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.ExtractGoal" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.ExtractLets" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.FailIfNoProgress" -> "Mathlib.Tactic.Hint";
  "Mathlib.Tactic.Find" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.GeneralizeProofs" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.GuardGoalNums" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.GuardHypNums" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.HelpCmd" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.HigherOrder" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.Hint" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.InferParam" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.Inhabit" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.IrreducibleDef" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.Lift" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.Lint" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.MkIffOfInductiveProp" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.Monotonicity.Attr" -> "Mathlib.Order.Hom.Basic";
  "Mathlib.Tactic.NthRewrite" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.Observe" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.Propose" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.Recover" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.Relation.Trans" -> "Mathlib.Init.Core";
  "Mathlib.Tactic.RenameBVar" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.Rename" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.Rewrites" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.RSuffices" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.Says" -> "Mathlib.Data.Set.Intervals.Basic";
  "Mathlib.Tactic.Says" -> "Mathlib.Logic.Equiv.Set";
  "Mathlib.Tactic.Says" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.ScopedNS" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.Set" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.SimpIntro" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.SimpRw" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.Spread" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.Substs" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.SuccessIfFailWithMsg" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.SudoSetOption" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.SwapVar" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.Tauto" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.TermCongr" -> "Mathlib.Tactic.Congrm";
  "Mathlib.Tactic.ToExpr" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.Trace" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.TypeCheck" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.UnsetOption" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.Use" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.Variable" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.Widget.Calc" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.Widget.Congrm" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.Widget.Conv" -> "Mathlib.Tactic.Common";
  "Mathlib.Tactic.Widget.SelectInsertParamsClass" -> "Mathlib.Tactic.Widget.SelectPanelUtils";
  "Mathlib.Tactic.Widget.SelectPanelUtils" -> "Mathlib.Tactic.Widget.Calc";
  "Mathlib.Tactic.Widget.SelectPanelUtils" -> "Mathlib.Tactic.Widget.Congrm";
  "Mathlib.Tactic.Widget.SelectPanelUtils" -> "Mathlib.Tactic.Widget.Conv";
  "Mathlib.Tactic.WLOG" -> "Mathlib.Tactic.Common";
  "Mathlib.Util.AssertExists" -> "Mathlib.Order.Hom.Basic";
  "Mathlib.Util.AssertExists" -> "Mathlib.Tactic.Common";
  "Mathlib.Util.CountHeartbeats" -> "Mathlib.Tactic.Common";
  "Mathlib.Util.Tactic" -> "Mathlib.Tactic.RenameBVar";
  "Mathlib.Util.Tactic" -> "Mathlib.Tactic.SwapVar";