Theorem List.reduceOption_length_le

Modification history