Theorem nonZeroDivisors_dvd_iff_dvd_coe

Modification history

2025-05-07 16:46
Mathlib/Algebra/GroupWithZero/NonZeroDivisors.lean
feat(NumberField/Ideal): asymptotics for the number of integral ideals of bounded norm (#22866) …
Added nonZeroDivisors_dvd_iff_dvd_coeView on Github →