Merge branch 'feature/poly-flt' into feature/poly-flt-aux #142388
Annotations
7 errors
|
run style linters:
Mathlib/NumberTheory/FLT/MasonStothers.lean#L61
Mathlib/NumberTheory/FLT/MasonStothers.lean:61 ERR_ARR: Missing space after '←'.
|
|
run style linters:
Mathlib/NumberTheory/FLT/MasonStothers.lean#L67
Mathlib/NumberTheory/FLT/MasonStothers.lean:67 ERR_ARR: Missing space after '←'.
|
|
run style linters:
Mathlib/NumberTheory/FLT/Polynomial.lean#L265
Mathlib/NumberTheory/FLT/Polynomial.lean:265 ERR_IBY: Line is an isolated 'by'
|
|
run style linters:
Mathlib/NumberTheory/FLT/Polynomial.lean#L290
Mathlib/NumberTheory/FLT/Polynomial.lean:290 ERR_IBY: Line is an isolated 'by'
|
|
run style linters:
Mathlib/NumberTheory/FLT/Polynomial.lean#L50
Mathlib/NumberTheory/FLT/Polynomial.lean:50 ERR_CLN: Put : and := before line breaks, not after
|
|
run style linters:
Mathlib/NumberTheory/FLT/Polynomial.lean#L83
Mathlib/NumberTheory/FLT/Polynomial.lean:83 ERR_IBY: Line is an isolated 'by'
|
|
run style linters
Process completed with exit code 1.
|
Loading