Theorem List.suffix_insert

Modification history