Theorem Finset.smul_finset_eq_univ₀

Modification history

2026-04-20 10:00
Mathlib/Algebra/GroupWithZero/Action/Pointwise/Finset.lean
feat(Algebra/GroupWithZero/Action/Pointwise/Finset): add ₀ variants (#38103) …
Added Finset.smul_finset_eq_univ₀View on Github →