Theorem List.doubleton_eq

Modification history