Theorem Set.nonempty_image_mulLeft_inv_inter_iff

Modification history

2025-12-22 22:40
Mathlib/Algebra/Group/Pointwise/Set/Basic.lean
feat: covering maps from properly discontinuous actions and discrete subgroups (#7596)
Added Set.nonempty_image_mulLeft_inv_inter_iffView on Github →