Theorem List.reduceOption_length_lt_iff

Modification history