Canonical
📁 Source: ClassFieldTheory/Mathlib/Algebra/Order/GroupWithZero/Canonical.lean
Statistics
| Metric | Count |
|---|---|
| Definitions | 0 |
| 6 | |
| Total | 6 |
WithZero
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
exp_le_one 📖 | — | — | — | — | — |
exp_lt_one 📖 | — | — | — | — | — |
exp_neg_one_def 📖 | — | — | — | — | exp_lt_one |
lt_exp_iff 📖 | — | — | — | — | — |
one_le_exp 📖 | — | — | — | — | — |
one_lt_exp 📖 | — | — | — | — | — |
---