Commit 2024-09-28 15:08 9d7e2cd9

View on Github →

feat: dens s⁻¹ = dens s (#17202) From LeanAPAP

Estimated changes

added theorem Finset.dens_inv