Fan homeomorphisms in the plane (0)

by Yatsuka Nakamura
Venue:Journal of Formalized Mathematics