Theorem List.singleton_eq

Modification history