take Uniform_Space {} ; :: thesis: ( Uniform_Space {} is empty & Uniform_Space {} is strict & Uniform_Space {} is void )
thus ( Uniform_Space {} is empty & Uniform_Space {} is strict & Uniform_Space {} is void ) ; :: thesis: verum