Documentation
Lean.Util
Google site search
Lean.Util
source
Imports
Init
Lean.Util.CollectFVars
Lean.Util.CollectLevelParams
Lean.Util.CollectMVars
Lean.Util.FindExpr
Lean.Util.FindLevelMVar
Lean.Util.FindMVar
Lean.Util.FoldConsts
Lean.Util.ForEachExpr
Lean.Util.ForEachExprWhere
Lean.Util.HasConstCache
Lean.Util.MonadCache
Lean.Util.OccursCheck
Lean.Util.PPExt
Lean.Util.Path
Lean.Util.Paths
Lean.Util.Profile
Lean.Util.RecDepth
Lean.Util.ReplaceExpr
Lean.Util.ReplaceLevel
Lean.Util.SCC
Lean.Util.ShareCommon
Lean.Util.Sorry
Lean.Util.Trace
Imported by