Theorem isOpen_nhdsKer

Modification history