Theorem principal_nhdsKer

Modification history