Skip to main content

left

logicaffeine_proof::tactic::combinators

Function left 

Source 
pub fn left() -> Tactic
Expand description

left (∨I) as a tactic value.