Closed fchapoton closed 2 months ago
Looks good. Thanks!
Some of these could be fixed by the script mentioned https://github.com/flintlib/python-flint/pull/191#issuecomment-2317451322 which we should probably include as bin/lint_fix.py
or something.