fix(Wikipedia/WallSunSun): restrict D to fundamental discriminants
#3993
Annotations
3 errors
|
Run copyright check script
🔴 Some files are missing their copyright headers.
|
|
Run copyright check script:
FormalConjecturesForMathlib.lean#L1
There must be a copyright header on the first line
|
|
Run copyright check script:
FormalConjecturesForMathlib/Algebra/QuadraticAlgebra/Defs.lean#L1
Could not find an Apache 2 copyright header
|
Loading