Theorem List.kextract_eq_dlookup_kerase

Modification history