Theorem Set.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.smul_inter_nonempty_iff'View on Github →