Theorem List.enumFrom_singleton

Modification history