push_neg

📁 Source: MathlibTest/push_neg.lean

Statistics

Metric	Count
Definitions push_neg	1
Theorems	0
Total	1

Mathlib.Tactic.Push

Definitions

Name	Category	Theorems
push_neg 📖	CompOp	—

---

← Back to Index