Theorem List.Perm.subperm_left

Modification history