vstd::function

Function group_function_axioms

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