Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-05-10 09:44
3f9d0818
View on Github →
chore: change the definition of
unitLatticeEquiv
to term mode (
#12795
) See
Zulip
Estimated changes
Modified
Mathlib/NumberTheory/NumberField/Units/DirichletTheorem.lean
modified
def
NumberField.Units.dirichletUnitTheorem.unitLatticeEquiv