☰
vstd
In vstd::set
?
Function
vstd
::
set
::
group_set_axioms
source
·
[
−
]
pub
broadcast group
fn group_set_axioms()
Expand description
broadcast group