Run twRS as IL code and move the root onto X (re on top). -/ def twC (n k j : ℕ) (X : Fin HS) : IStmt HS P…

Initializing...

Run twRS as IL code and move the root onto X (re on top). -/ def twC (n k j : ℕ) (X : Fin HS) : IStmt HS P… · Prove2Me