Theorem ZLattice.covolume_eq_det_inv

Modification history

2025-04-27 13:12
Mathlib/Algebra/Module/ZLattice/Covolume.lean
chore(*): fix some `Decidable*`/`Fintype` assumptions (#24400) …
Modified ZLattice.covolume_eq_det_invView on Github →
2024-12-18 15:53
Mathlib/Algebra/Module/ZLattice/Covolume.lean
feat (Lattice/Covolume): Add results linking point counting in lattices and covolume (#12488)
Added ZLattice.covolume_eq_det_invView on Github →