Theorem List.reduceOption_cons_of_none

Modification history