Theorem List.Chain.backwards_induction

Modification history