Random triples
| Subject | Object |
|---|---|
| gptkb:projective_line_P^1 | any smooth projective curve of genus 0 is isomorphic to P^1 |
| gptkb:projective_line_over_C | any genus 0 curve over C |
| Subject | Object |
|---|---|
| gptkb:projective_line_P^1 | any smooth projective curve of genus 0 is isomorphic to P^1 |
| gptkb:projective_line_over_C | any genus 0 curve over C |