Function inverse_on Copy item path

pub open spec fn inverse_on<A, B>(
    f: FnSpec<(A,), B>,
    g: FnSpec<(B,), A>,
    domain: Set<A>,
    codomain: Set<B>,
) -> bool

{ left_inverse_on(f, g, domain, codomain) && right_inverse_on(f, g, domain, codomain) }