Theorem List.dlookup_kunion_eq_some

Modification history