Theorem gc_nhdsKer_interior

Modification history