Mathlib Module Dependency Tree
Interactive dependency tree. Root modules (no dependencies) are at the top.
Algebra.AddConstMap.Equiv
Algebra.AffineMonoid.Basic
Algebra.AffineMonoid.Irreducible
Algebra.AffineMonoid.UniqueSums
Algebra.Algebra.Subalgebra.Centralizer
Algebra.Algebra.Subalgebra.Matrix
Algebra.Algebra.Subalgebra.Order
Algebra.Algebra.Subalgebra.Pi
Algebra.Algebra.Subalgebra.Unitization
Algebra.AlgebraicCard
Algebra.Azumaya.Basic
Algebra.Azumaya.Matrix
Algebra.BigOperators.ModEq
Algebra.BrauerGroup.Defs
Algebra.Category.AlgCat.FilteredColimits
Algebra.Category.AlgCat.Limits
Algebra.Category.AlgCat.Symmetric
Algebra.Category.BoolRing
Algebra.Category.CoalgCat.ComonEquivalence
Algebra.Category.CommBialgCat
Algebra.Category.ContinuousCohomology.Basic
Algebra.Category.FGModuleCat.EssentiallySmall
Algebra.Category.Grp.Images
Algebra.Category.Grp.IsFinite
Algebra.Category.Grp.Subobject
Algebra.Category.GrpWithZero
Algebra.Category.HopfAlgCat.Monoidal
Algebra.Category.ModuleCat.Descent
Algebra.Category.ModuleCat.Differentials.Presheaf
Algebra.Category.ModuleCat.Ext.Basic
Algebra.Category.ModuleCat.ExteriorPower
Algebra.Category.ModuleCat.Images
Algebra.Category.ModuleCat.LeftResolution
Algebra.Category.ModuleCat.Monoidal.Adjunction
Algebra.Category.ModuleCat.Presheaf.ColimitFunctor
Algebra.Category.ModuleCat.Presheaf.PushforwardZeroMonoidal
Algebra.Category.ModuleCat.Pseudofunctor
Algebra.Category.ModuleCat.Sheaf.Localization
Algebra.Category.ModuleCat.Sheaf.PullbackFree
Algebra.Category.ModuleCat.Simple
Algebra.Category.ModuleCat.Tannaka
Algebra.Category.ModuleCat.Ulift
Algebra.Category.MonCat.Adjunctions
Algebra.Category.MonCat.Colimits
Algebra.Category.MonCat.Yoneda
Algebra.Category.Ring.Topology
Algebra.Category.Ring.Under.Property
Algebra.Central.Matrix
Algebra.CharP.MixedCharZero
Algebra.Colimit.Ring
Algebra.ContinuedFractions.Computation.TerminatesIffRat
Algebra.DirectSum.Idempotents
Algebra.Divisibility.Finite
Algebra.DualQuaternion
Algebra.Exact
Algebra.Expr
Algebra.Field.Action.ConjAct
Algebra.Field.Power
Algebra.Field.Shrink
Algebra.FreeAlgebra.Cardinality
Algebra.FreeMonoid.Count
Algebra.FreeMonoid.FreeSemigroup
Algebra.FreeMonoid.Symbols
Algebra.GCDMonoid.PUnit
Algebra.Group.Action.Equidecomp
Algebra.Group.Action.Option
Algebra.Group.Action.Sigma
Algebra.Group.Action.Sum
Algebra.Group.Equiv.Finite
Algebra.Group.Nat.TypeTags
Algebra.Group.Pointwise.Finset.BigOperators
Algebra.Group.Pointwise.Finset.Density
Algebra.Group.Pointwise.Finset.Interval
Algebra.Group.Pointwise.Set.Small
Algebra.Group.Subgroup.Finsupp
Algebra.Group.Submonoid.Saturation
Algebra.Group.Translate
Algebra.Group.UniqueProds.VectorSpace
Algebra.GroupWithZero.Action.Faithful
Algebra.GroupWithZero.Action.Pointwise.Finset
Algebra.GroupWithZero.Int
Algebra.GroupWithZero.Pointwise.Set.Card
Algebra.GroupWithZero.Shrink
Algebra.GroupWithZero.Submonoid.CancelMulZero
Algebra.HierarchyDesign
Algebra.Homology.Augment
Algebra.Homology.BifunctorHomotopy
Algebra.Homology.BifunctorShift
Algebra.Homology.DerivedCategory.Ext.MapBijective
Algebra.Homology.DifferentialObject
Algebra.Homology.Embedding.Connect
Algebra.Homology.Embedding.StupidTrunc
Algebra.Homology.EulerCharacteristic
Algebra.Homology.GrothendieckAbelian
Algebra.Homology.HomotopyCategory.Plus
Algebra.Homology.HomotopyCategory.SpectralObject
Algebra.Homology.LeftResolution.Reduced
Algebra.Homology.LocalCohomology
Algebra.Homology.ModelCategory.Injective
Algebra.Homology.Monoidal