Theorem List.Perm.bagInter_right

Modification history

2023-01-13 09:59
Mathlib/Data/List/Perm.lean
feat: port Data.Multiset.Basic (#1491)
Added List.Perm.bagInter_rightView on Github →