Theorem nhdsSet_nhdsKer

Modification history