Theorem List.tails_eq_inits

Modification history