Function prop::imply::join

source[−]
pub fn join<A: Prop, B: Prop, C: Prop>(
    f: Imply<A, C>, 
    _: Imply<B, C>
) -> Imply<And<A, B>, C>
Expand description

(a => c) ∧ (b => c) => ((a ∧ b) => c).