Theorem List.Sublist.antisymm

Modification history