Theorem List.dlookup_kerase

Modification history