Theorem Lists.isList_toList

Modification history