Theorem List.Perm.bagInter_symm

Modification history

2026-05-13 14:16
Mathlib/Data/List/Perm/Lattice.lean
feat(Data): lemmas for `List.bagInter` (#35892) …
Added List.Perm.bagInter_symmView on Github →