pub broadcast group fn disjoint_left_wrapper_lemmas()Expand description
Domain-preserving or domain-narrowing wrappers on the left of disjoint_domains.
pub broadcast group fn disjoint_left_wrapper_lemmas()Domain-preserving or domain-narrowing wrappers on the left of disjoint_domains.