Lines on planes in n-dimensional Euclidean spaces (2005)

by Akihiro Kubo
Venue:Formalized Mathematics