Please add a function that, given an Abelian group K and a loop F, constructs all isomorphism classes of nuclear extensions of K by F.
Please add a function that, given an Abelian group K and a loop F, constructs all isomorphism classes of nuclear extensions of K by F.