Function prop::and::false_arg

source · 
pub fn false_arg<A: Prop>((x, _): And<False, A>) -> False
Expand description

(false ∧ a) => false.