Theorem List.intersperse_singleton

Modification history