On the rectangular finite sequences of the points of the plane (1997)

by Andrzej Trybulec, Yatsuka Nakamura
Venue:Journal of Formalized Mathematics