Theorem NumberField.Units.dirichletUnitTheorem.seq_decreasing

Modification history