Skip to main content

EQUATION_INFIX

logicaffeine_kernel::equations

Constant EQUATION_INFIX 

Source 
pub const EQUATION_INFIX: &str = "_eq_";
Expand description

Lean’s eqnThmSuffixBasePrefix (Lean/Meta/Eqns.lean:60), flattened.