Theorem List.Subperm.count_le

Modification history