Theorem List.forall_mem_singleton

Modification history