Theorem injective_stoneCechUnit_of_completelyRegularSpace

Modification history