Theorem mem_nonZeroDivisors_of_injective

Modification history

2025-02-14 14:20
Mathlib/Algebra/GroupWithZero/NonZeroDivisors.lean
chore(NonZeroDivisors): clean up (#21288) …
Modified mem_nonZeroDivisors_of_injectiveView on Github →
2025-02-04 10:52
Mathlib/Algebra/GroupWithZero/NonZeroDivisors.lean
chore: rename mem_nonZeroDivisor_of_injective and comap_nonZeroDivisor_le_of_injective (#21408)
Added mem_nonZeroDivisors_of_injectiveView on Github →