Skip to main content

right

logicaffeine_proof::tactic::combinators

Function right 

Source 
pub fn right() -> Tactic
Expand description

right (∨I) as a tactic value.