lSpace Projective lines as groupoids with projection structure (history)

October 21, 2013