Function axiom_seq_emptyCopy item path

pub broadcast proof fn axiom_seq_empty<A>()

#[trigger] Seq::<A>::empty().len() == 0,