some fixes #134332
Annotations
2 errors
run style linters:
Mathlib/GroupTheory/Freiheitsatz.lean#L12
Mathlib/GroupTheory/Freiheitsatz.lean:12 ERR_MOD: Module docstring missing, or too late
|
run style linters
Process completed with exit code 2.
|
Loading