Theorem specializes_iff_nhdsKer_subset

Modification history