vstd::set

Function group_set_axioms

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