Theorem Multiset.revzip_powersetAux_lemma

Modification history

2024-04-14 10:41
Mathlib/Data/Multiset/Powerset.lean
chore: remove autoImplicit from more files (#11798) …
Modified Multiset.revzip_powersetAux_lemmaView on Github →
2023-01-13 16:42
Mathlib/Data/Multiset/Powerset.lean
feat port: Data.Multiset.Powerset (#1544)
Added Multiset.revzip_powersetAux_lemmaView on Github →