Theorem List.finite_length_lt

Modification history