Commit 2024-07-16 12:01 ba424177
View on Github →feat(NumberTheory/SiegelsLemma): replace Fin m
and Fin n
with Fintype α
and Fintype β
(#14797)
feat(NumberTheory/SiegelsLemma): replace Fin m
and Fin n
with Fintype α
and Fintype β
(#14797)