pub fn axiom_seq_empty<A>()👎Deprecated:
Seq axioms have been verified, and are now lemmas
Expand description
ensures
#[trigger] Seq::<A>::empty().len() == 0,pub fn axiom_seq_empty<A>()Seq axioms have been verified, and are now lemmas
#[trigger] Seq::<A>::empty().len() == 0,