pub broadcast proof fn lemma_vec_obeys_eq_spec<T: PartialEq>()Expand description
requires
super::super::laws_eq::obeys_eq_spec::<T>(),#[trigger] super::super::laws_eq::obeys_eq_spec::<Vec<T>>(),