reduce_mod_char

📁 Source: MathlibTest/reduce_mod_char.lean

Statistics

Metric	Count
Definitions reduce_mod_char	1
Theorems	0
Total	1

Tactic.ReduceModChar

Definitions

Name	Category	Theorems
reduce_mod_char 📖	CompOp	—

---

← Back to Index