Skip to content

Generalize wp_lb_init to steps_lb_0.

tlsomers requested to merge tlsomers/iris:steps-lb-init into master

Replace the wp_lb_init lemma with a more general steps_lb_0 lemma which does not depend on WP.

Edited by Ralf Jung

Merge request reports