Theorem mem_nhdsKer_iff_specializes

Modification history