tidy #104531
Annotations
2 errors
|
Mathlib/Data/Nat/Defs.lean#L862
Mathlib/Data/Nat/Defs.lean:862 ERR_IND: If the theorem/def statement requires multiple lines, indent it correctly (4 spaces or 2 for `|`)
|
|
|
The logs for this run have expired and are no longer available.
Loading