Theorem List.perm_lookupAll

Modification history