Theorem Submonoid.multiset_noncommProd_mem

Modification history

2023-01-30 20:12

Mathlib/GroupTheory/Submonoid/Membership.lean

chore: fix naming in GroupTheory.Submonoid.Membership (#1950) …

Added Submonoid.multiset_noncommProd_mem View on Github →