Documentation
Lean
.
ErrorExplanations
.
InductionWithNoAlts
Search
return to top
source
Imports
Lean.ErrorExplanation
Lean.ErrorExplanation
Imported by