Theorem List.reduceOption_length_eq

Modification history