Theorem Lists.isList_of_mem

Modification history