Theorem Ideal.mem_pointwise_smul_iff_inv_smul_mem

Modification history

2024-07-02 14:16
Mathlib/RingTheory/Ideal/Pointwise.lean
feat: add pointwise actions on ideals (#13294) …
Added Ideal.mem_pointwise_smul_iff_inv_smul_memView on Github →