Theorem Pi.uniformSpace_comap_precomp

Modification history