Theorem isUnit_iff_norm

Modification history

2023-09-27 14:09
Mathlib/NumberTheory/NumberField/Units.lean
feat(NumberTheory.NumberField.Units): proof of Dirichlet's unit theorem (#5960) …
Deleted isUnit_iff_normView on Github →
2023-08-02 23:55
Mathlib/NumberTheory/NumberField/Units.lean
feat(NumberTheory.NumberField.Units): add torsion subgroup (#5748) …
Modified isUnit_iff_normView on Github →
2023-06-22 05:54
Mathlib/NumberTheory/NumberField/Units.lean
feat: port NumberTheory.NumberField.Units (#5359)
Added isUnit_iff_normView on Github →