Theorem regularSpace_induced

Modification history