group_multiset_axioms

vstd::multiset

Function group_multiset_axioms 

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