A Computer Verified Theory of Compact Sets.

Tue, 01 Jan 2008 00:00:00 +0100

Russell O'Connor:
A Computer Verified Theory of Compact Sets. CoRR abs/0806.3209 (2008)