Theorem nhdsKer_eq_nhdsKer_iff_nhdsSet

Modification history