Theorem NumberField.house_nat_mul

Modification history

2025-12-27 16:28
Mathlib/NumberTheory/NumberField/House.lean
chore: tidy various files (#33340)
Modified NumberField.house_nat_mulView on Github →
2025-12-17 05:35
Mathlib/NumberTheory/NumberField/House.lean
feat: lemmas about the `House` of an algebraic number (#32218) …
Added NumberField.house_nat_mulView on Github →