Theorem List.getD_singleton_default_eq

Modification history