Theorem List.isPrefix.reduceOption

Modification history