Theorem List.erase_subperm

Modification history