Theorem List.splitOn_intercalate

Modification history