Theorem List.prefix_or_prefix_of_prefix

Modification history