mathlib
eba78710 - feat(data/finset/pointwise): `|s| ∣ |s * t|` (#18663)

Commit

2 years ago

feat(data/finset/pointwise): `|s| ∣ |s * t|` (#18663)

Author

YaelDillies

YaelDillies

Parents

Loading