Theorem NumberField.Units.dirichletUnitTheorem.unitLattice_inter_ball_finite

Modification history