Theorem Set.preimage_inv_mul_right_singleton

Modification history

2026-07-14 11:01
Mathlib/Algebra/Group/Pointwise/Set/Basic.lean
feat(Topology/Algebra/Group/Basic,Algebra/Group/Pointwise/Set/Basic): add Filter.map_{sub,div}{Left,Right}_nhds{,LT,GT,NE} (#41376) …
Added Set.preimage_inv_mul_right_singletonView on Github →