Serre's splitting theorem

GPTKB entity