Theorem NumberField.abs_discr_ge'

Modification history