Theorem Set.update_mem_pi_iff_of_mem

Modification history

2025-08-28 00:23
Mathlib/Data/Set/Prod.lean
feat(Algebra/Group): add theorems about `Submonoid.pi` (#28665) …
Added Set.update_mem_pi_iff_of_memView on Github →