Theorem List.subperm_singleton_iff'

Modification history