Theorem List.count_lt_length_iff

Modification history