Theorem List.kerase_sublist

Modification history