Sorry-free polynomial FLT #67540
Annotations
6 errors
|
lint:
Mathlib/NumberTheory/FLT/MasonStothers.lean#L61
Mathlib/NumberTheory/FLT/MasonStothers.lean:61 ERR_ARR: Missing space after '←'.
|
|
lint:
Mathlib/NumberTheory/FLT/MasonStothers.lean#L67
Mathlib/NumberTheory/FLT/MasonStothers.lean:67 ERR_ARR: Missing space after '←'.
|
|
lint:
Mathlib/NumberTheory/FLT/Polynomial.lean#L265
Mathlib/NumberTheory/FLT/Polynomial.lean:265 ERR_IBY: Line is an isolated 'by'
|
|
lint:
Mathlib/NumberTheory/FLT/Polynomial.lean#L290
Mathlib/NumberTheory/FLT/Polynomial.lean:290 ERR_IBY: Line is an isolated 'by'
|
|
lint:
Mathlib/NumberTheory/FLT/Polynomial.lean#L50
Mathlib/NumberTheory/FLT/Polynomial.lean:50 ERR_CLN: Put : and := before line breaks, not after
|
|
lint:
Mathlib/NumberTheory/FLT/Polynomial.lean#L83
Mathlib/NumberTheory/FLT/Polynomial.lean:83 ERR_IBY: Line is an isolated 'by'
|
Loading