Theorem List.perm_lookmap

Modification history