Commit 2022-11-13 20:38 3fca7005
View on Github →feat(data/finset/prod): prod.swap '' s ×ˢ t = t ×ˢ s (#17511)
Transfer a set lemma to finset and tag the set lemma simp.
feat(data/finset/prod): prod.swap '' s ×ˢ t = t ×ˢ s (#17511)
Transfer a set lemma to finset and tag the set lemma simp.