vstd::function

Function group_function_axioms

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