Theorem t2Space_of_properSMul_of_t1Group

Modification history