Theorem NumberField.house.basis_repr_norm_le_const_mul_house

Modification history