Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.smul_mem_smul_finset_iff₀

Modification history

2022-06-27 21:32
src/data/finset/pointwise.lean
feat(data/finset/pointwise): `•` and `⊆` (#14968) …
Added finset.smul_mem_smul_finset_iff₀View on Github →