Theorem List.isPrefix.map

Modification history