Theorem Set.image_div_left

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.image_div_leftView on Github →