Theorem NumberField.Units.dirichletUnitTheorem.mult_log_place_eq_zero

Modification history