Skip to main content

ring

logicaffeine_proof::tactic::combinators

Function ring 

Source 
pub fn ring() -> Tactic
Expand description

ring (commutative-ring normalisation) as a tactic value.