Skip to content

Specialize new induction lemmas in implementations #173

Specialize new induction lemmas in implementations

Specialize new induction lemmas in implementations #173