Theorem NumberField.Units.dirichletUnitTheorem.seq_next

Modification history