Function lemma_base128_fmt_unambiguous 

pub proof fn lemma_base128_fmt_unambiguous<const MINIMAL: bool>()

ensures

base128_fmt::<MINIMAL>().unambiguous(),