Theorem List.perm_option_to_list

Modification history