Lobachevskian geometry

GPTKB entity