Theorem nhdsKer_singleton_eq_ker_nhds

Modification history