A Note on Group Extensions and Proper 3-Realizability | Publicación