Theorem List.erase_subset

Modification history