Skip to main content

group_seq_axioms

vstd::seq

Function group_seq_axioms 

Source 
pub fn group_seq_axioms()
👎Deprecated:

Use group_seq_lemmas instead

Expand description
broadcast group