Theorem List.Subperm.perm_of_length_le

Modification history