Theorem List.cons_subperm_of_mem

Modification history