Theorem exterior_singleton_eq_ker_nhds

Modification history