Documentation Verification Report

Panic

📁 Source: Batteries/Util/Panic.lean

Statistics

MetricCount
DefinitionspanicWith
1
TheoremspanicWith_eq
1
Total2

Batteries

Definitions

NameCategoryTheorems
panicWith 📖CompOp
1 mathmath: panicWith_eq

Theorems

NameKindAssumesProvesValidatesDepends On
panicWith_eq 📖mathematicalpanicWith

---

← Back to Index