Commit 2024-07-16 12:01 ba424177

View on Github →

feat(NumberTheory/SiegelsLemma): replace Fin m and Fin n with Fintype α and Fintype β (#14797)

Estimated changes