Theorem List.dlookup_kunion_left

Modification history