Theorem List.Perm.kunion_left

Modification history