prod): `prod.swap '' s ×ˢ t = t ×ˢ s` (#17511)

Commit

3 years ago

feat(data/finset/prod): `prod.swap '' s ×ˢ t = t ×ˢ s` (#17511) Transfer a `set` lemma to `finset` and tag the `set` lemma simp.

Author

YaelDillies

Parents