Theorem List.bind_singleton

Modification history