A Borsuk theorem on homotopy types. (1991)

by Andrzej Trybulec
Venue:Formalized Mathematics,