Theorem Set.op_smul_inter_nonempty_iff

Modification history

2025-12-11 22:59
Mathlib/Algebra/Group/Action/Pointwise/Set/Basic.lean
chore: use `Set.Nonempty` everywhere (#32697)
Added Set.op_smul_inter_nonempty_iffView on Github →