feat(NumberTheory/JacobiSum/Basic): more Jacobi sum values (#16227) #10351
Annotations
3 errors
|
run style linters:
Mathlib/CategoryTheory/Adjunction/Limits.lean#L78
Mathlib/CategoryTheory/Adjunction/Limits.lean:78 ERR_IND: If the theorem/def statement requires multiple lines, indent it correctly (4 spaces or 2 for `|`)
|
|
run style linters:
Mathlib/CategoryTheory/Adjunction/Restrict.lean#L72
Mathlib/CategoryTheory/Adjunction/Restrict.lean:72 ERR_TWS: Trailing whitespace detected on line
|
|
run style linters
Process completed with exit code 1.
|
Loading