Desargues theorem in projective 3-space (1991)

by Eugeniusz Kusak
Venue:Formalized Mathematics
Citations:2 - 0 self