Theorem Equiv.Finset.union_symm_left

Modification history

2026-02-11 19:24
Mathlib/Data/Finset/Basic.lean
feat: some finset lemmas (#13686) …
Added Equiv.Finset.union_symm_leftView on Github →