Theorem Finset.dens_inv

Modification history

2025-03-10 13:47
Mathlib/Algebra/Group/Pointwise/Finset/Basic.lean
chore: don't import Finset.Density in Group.Pointwise.Finset.Basic (#22480) …
Modified Finset.dens_invView on Github →
2024-09-28 15:08
Mathlib/Algebra/Group/Pointwise/Finset/Basic.lean
feat: `dens s⁻¹ = dens s` (#17202) …
Added Finset.dens_invView on Github →