Theorem Lists'.mem_of_subset

Modification history