Theorem Equiv.polishSpace_induced

Modification history