The topological space e t . Arcs, line segments and special polygonal arcs (1991)

by Agata Darmochwal, Yatsuka Nakamura
Venue:Journal of Formalized Mathematics