Theorem List.singleton_subperm_iff

Modification history