Skip to main content

induction_on

logicaffeine_proof::tactic::combinators

Function induction_on 

Source 
pub fn induction_on(name: &str) -> Tactic
Expand description

induction name as a tactic value.