push

📁 Source: MathlibTest/push.lean

Statistics

Metric	Count
Definitions push, push	2
Theorems push	1
Total	3

Lean.Meta.RefinedDiscrTree.PreDiscrTree

Definitions

Name	Category	Theorems
push 📖	CompOp	—

Mathlib.Tactic.Push

Definitions

Name	Category	Theorems
push 📖	CompOp	—

Tactic.ComputeAsymptotics.WellFormedBasis

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
push 📖	mathematical	Tactic.ComputeAsymptotics.WellFormedBasis Filter.Tendsto Real Filter.atTop Real.instPreorder Asymptotics.IsLittleO Real.norm Real.log	Tactic.ComputeAsymptotics.WellFormedBasis Tactic.ComputeAsymptotics.Basis	—	insert instIsEmptyFalse

---

← Back to Index