ArithMult

📁 Source: Mathlib/Tactic/ArithMult.lean

Statistics

Metric	Count
Definitions arith_mult, arith_mult?, attrArith_mult	3
Theorems	0
Total	3

ArithmeticFunction

Definitions

Name	Category	Theorems
arith_mult 📖	CompOp	—
arith_mult? 📖	CompOp	—
attrArith_mult 📖	CompOp	—

---

← Back to Index