Theorem NumberField.Units.dirichletUnitTheorem.logEmbedding_component_le

Modification history