Theorem List.Perm.eq_singleton

Modification history