Theorem List.dlookup_kunion_right

Modification history