Documentation
Lean
.
ErrorExplanations
Search
return to top
source
Imports
Lean.ErrorExplanations.CtorResultingTypeMismatch
Lean.ErrorExplanations.DependsOnNoncomputable
Lean.ErrorExplanations.InductiveParamMismatch
Lean.ErrorExplanations.InductiveParamMissing
Lean.ErrorExplanations.InvalidDottedIdent
Lean.ErrorExplanations.RedundantMatchAlt
Imported by