Theorem Set.singleton_mem_subchain_iff

Modification history