Theorem List.subperm_singleton_iff

Modification history