Theorem List.lookup_ext

Modification history