Theorem Set.cons_mem_subchain_iff

Modification history