Theorem NumberField.Units.dirichletUnitTheorem.logEmbedding_eq_zero_iff

Modification history