Theorem List.Duplicate.mono_sublist

Modification history