A Borsuk theorem on homotopy types (1991)

by Andrzej Trybulec
Venue:Journal of Formalized Mathematics
Citations:108 - 7 self