Theorem isDenseEmbedding_stoneCechUnit

Modification history