Theorem List.nil_subperm

Modification history