Theorem NumberField.Units.dirichletUnitTheorem.log_le_of_logEmbedding_le

Modification history