Def Zlattice.covolume

Modification history

2024-09-09 07:09

Mathlib/Algebra/Module/ZLattice/Covolume.lean

chore: rename `Zlattice` -> `ZLattice` (#16622) …

Deleted Zlattice.covolume View on Github →

2024-04-17 09:24

Mathlib/Algebra/Module/Zlattice/Covolume.lean

feat: Define the covolume of a `ZLattice` (#11327) …

Added Zlattice.covolume View on Github →