Theorem NumberField.Units.dirichletUnitTheorem.logEmbedding_fundSystem

Modification history