Theorem List.chain_singleton

Modification history