Theorem Ordnode.toList_node

Modification history