Theorem List.lookupAll_cons_eq

Modification history