Skip to main content

split

logicaffeine_proof::tactic::combinators

Function split 

Source 
pub fn split() -> Tactic
Expand description

split (∧I) as a tactic value.