vstd::multiset

Function group_multiset_axioms

Source 
pub broadcast group fn group_multiset_axioms()
Expand description
broadcast group