BuiltinRules
📁 Source: Aesop/BuiltinRules.lean
Statistics
| Metric | Count |
|---|---|
| Definitions | 0 |
| 4 | |
| Total | 4 |
Aesop.BuiltinRules
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
empty_false 📖 | — | — | — | — | — |
heq_iff_eq 📖 | — | — | — | — | — |
not_intro 📖 | — | — | — | — | — |
pEmpty_false 📖 | — | — | — | — | — |
---