Def NumberField.Units.dirichletUnitTheorem.w₀

Modification history