Theorem IsOpen.nhdsKer_subset

Modification history